Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata
Author: | Dirk Beyer |
---|---|
Publisher: | Inst. of Computer Science |
Place of publication: | Cottbus |
Document Type: | Report |
Language: | English |
Year of publication: | 2001 |
Number of pages: | 12 |
Series ; volume number: | Computer science reports ; 2001,04 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Praktische Informatik / Softwaresystemtechnik |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Software-Systemtechnik |