Foreword

Jiri Srba, Scott A. Smolka

Publikation: Bidrag til bog/antologi/rapport/konference proceedingForord/Indledning/efterskriftForskningpeer review

OriginalsprogEngelsk
TitelProceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)
RedaktørerJiri Srba, Scott A. Smolka
ForlagSpringer
Publikationsdato2005
UdgaveENTCS
StatusUdgivet - 2005

Citer dette

Srba, J., & Smolka, S. A. (2005). Foreword. I J. Srba, & S. A. Smolka (red.), Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) (ENTCS udg.). Springer.
Srba, Jiri ; Smolka, Scott A. / Foreword. Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). red. / Jiri Srba ; Scott A. Smolka. ENTCS. udg. Springer, 2005.
@inbook{ce7a1682346d4bd297cd27e3ef6a3103,
title = "Foreword",
author = "Jiri Srba and Smolka, {Scott A.}",
year = "2005",
language = "English",
editor = "Jiri Srba and Smolka, {Scott A. }",
booktitle = "Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)",
publisher = "Springer",
address = "Germany",
edition = "ENTCS",

}

Srba, J & Smolka, SA 2005, Foreword. i J Srba & SA Smolka (red), Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). ENTCS udg, Springer.

Foreword. / Srba, Jiri; Smolka, Scott A.

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). red. / Jiri Srba; Scott A. Smolka. ENTCS. udg. Springer, 2005.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingForord/Indledning/efterskriftForskningpeer review

TY - GEN

T1 - Foreword

AU - Srba, Jiri

AU - Smolka, Scott A.

PY - 2005

Y1 - 2005

M3 - Preface/Introduction/postscript

BT - Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

A2 - Srba, Jiri

A2 - Smolka, Scott A.

PB - Springer

ER -

Srba J, Smolka SA. Foreword. I Srba J, Smolka SA, red., Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). ENTCS udg. Springer. 2005