Originalsprog | Engelsk |
---|---|
Titel | Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) |
Redaktører | Jiri Srba, Scott A. Smolka |
Forlag | Springer |
Publikationsdato | 2005 |
Udgave | ENTCS |
Status | Udgivet - 2005 |
Citer dette
@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",
}
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 proceeding › Forord/Indledning/efterskrift › Forskning › peer 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 -