TY  - SER
AU  - Nivoliln, Xavier
AU  - Yovine, Sergio
AU  - Sifakis, Joseph
TI  - Compiling Real-Time Specifications Into Extended Automata
KW  - Compilation Into Extended Automata
KW  - Symbolic
KW  -  Formal Verification
ER  -