• search hit 62 of 65
Back to Result List

Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.