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 |
Foreword
Jiri Srba, Scott A. Smolka
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning › peer review