DMCA

Model Checking Timed Automata - Techniques and Applications (2006)

by Typeset Latexε , Martijn Hendriks , Martijn Hendriks , Prof Frits , W. Vaandrager
Venue:Faculty of Mathematics and Natural Sciences, UL
Citations:28 - 0 self