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

Citationsformater