%0 Conference Paper %1 conf/spin/TothM18 %A Tóth, Tamás %A Majzik, István %B SPIN %D 2018 %E del Mar Gallardo, María %E Merino, Pedro %I Springer %K dblp %P 235-254 %T Lazy Reachability Checking for Timed Automata with Discrete Variables. %U http://dblp.uni-trier.de/db/conf/spin/spin2018.html#TothM18 %V 10869 %@ 978-3-319-94111-0

@inproceedings{conf/spin/TothM18, added-at = {2018-07-10T00:00:00.000+0200}, author = {Tóth, Tamás and Majzik, István}, biburl = {https://www.bibsonomy.org/bibtex/235045f6edf758641a837a899bb502f39/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2018}, editor = {del Mar Gallardo, María and Merino, Pedro}, ee = {https://doi.org/10.1007/978-3-319-94111-0_14}, interhash = {cffa4cba076284c634c0fd518ff7df9b}, intrahash = {35045f6edf758641a837a899bb502f39}, isbn = {978-3-319-94111-0}, keywords = {dblp}, pages = {235-254}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:39.000+0200}, title = {Lazy Reachability Checking for Timed Automata with Discrete Variables.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2018.html#TothM18}, volume = 10869, year = 2018 }