Foreword

Jiri Srba, Scott A. Smolka

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)
EditorsJiri Srba, Scott A. Smolka
PublisherSpringer
Publication date2005
EditionENTCS
Publication statusPublished - 2005

Cite this