TY - GEN

AU - Wang, Farn

TI - Lecture Notes in Computer Science: Efficient Verification of Timed Automata with BDD-Like Data-Structures

PB - Springer Berlin Heidelberg

SN - 0302-9743

PY - 2003

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -