Tampere University of Technology

TUTCRIS Research Portal

Improvements in state space representation and model checking algorithms

Research output: Book/ReportDoctoral thesisCollection of Articles

Details

Original languageEnglish
Place of PublicationTampere
PublisherTampere University of Technology
Publication statusPublished - 2006
Publication typeG5 Doctoral dissertation (article)

Publication series

NameTampereen teknillinen yliopisto. Julkaisu
PublisherTampere University of Technology
Volume591

Publication forum classification