Simple on-the-fly automatic verification of linear temporal logic

R.T. Gerth, D. Peled, M.Y. Vardi, P. Wolper

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProtocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995)
RedacteurenP. Dembinski, M. Sredniawa
UitgeverijChapman & Hall
Pagina's3-19
ISBN van geprinte versie0-412-71620-8
StatusGepubliceerd - 1995

Publicatie series

NaamIFIP Conference Proceedings
Volume38
ISSN van geprinte versie1571-5736

Citeer dit