×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [aalborg brics]
Home >
aalborg brics
1 Efficient Verification of Timed Automata Kim Guldstrand Larsen Paul PetterssonMogens Nielsen BRICS@Aalborg BRICS@Aarhus.
220 views