A Classification of Symbolic Transition Systems

Technical Report PDF: 
Technical Report Number: 
2002.5
Title A Classification of Symbolic Transition Systems
Publication TypeConference Proceedings
Year of Conference2002
AuthorsHenzinger, TA, Manjumdar R, Raskin J-F
Conference NameTOCL
PublisherACM Press