Foreword

Jiri Srba, Scott A. Smolka

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning › peer review

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

Adgang til dokumentet

@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",

}