• search hit 1 of 2
Back to Result List

Different Strategies for BDD-based Reachability Analysis of Timed Automata

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Dirk Beyer, Andy Heinig
Title of the source (English):Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001)
Place of publication:Stirling
Editor: Jerzy Rozenblit, Miroslav Sveda, Charles Rattray
Document Type:Conference Proceeding
Language:English
Year of publication:2001
First Page:89
Last Page:98
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.