%0 Conference Paper %1 conf/rp/BhaveG17 %A Bhave, Devendra %A Guha, Shibashis %B RP %D 2017 %E Hague, Matthew %E Potapov, Igor %I Springer %K dblp %P 9-25 %T Adding Dense-Timed Stack to Integer Reset Timed Automata. %U http://dblp.uni-trier.de/db/conf/rp/rp2017.html#BhaveG17 %V 10506 %@ 978-3-319-67089-8

@inproceedings{conf/rp/BhaveG17, added-at = {2017-08-30T00:00:00.000+0200}, author = {Bhave, Devendra and Guha, Shibashis}, biburl = {https://www.bibsonomy.org/bibtex/23db57bb6276a60a2f5e4977777ca6e88/dblp}, booktitle = {RP}, crossref = {conf/rp/2017}, editor = {Hague, Matthew and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-319-67089-8_2}, interhash = {8291a8f51de4c2452cd65fd532af0529}, intrahash = {3db57bb6276a60a2f5e4977777ca6e88}, isbn = {978-3-319-67089-8}, keywords = {dblp}, pages = {9-25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:20:50.000+0200}, title = {Adding Dense-Timed Stack to Integer Reset Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2017.html#BhaveG17}, volume = 10506, year = 2017 }