%0 Journal Article %1 journals/sttt/Behrmann05 %A Behrmann, Gerd %D 2005 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 1 %P 19-30 %T Distributed reachability analysis in timed automata. %U http://dblp.uni-trier.de/db/journals/sttt/sttt7.html#Behrmann05 %V 7

@article{journals/sttt/Behrmann05, added-at = {2020-04-02T00:00:00.000+0200}, author = {Behrmann, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/28af8b1f84689a9b1cbb010c79a7a539d/dblp}, ee = {https://doi.org/10.1007/s10009-003-0111-z}, interhash = {8dda204acdc1746a672036a7105c156e}, intrahash = {8af8b1f84689a9b1cbb010c79a7a539d}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 1, pages = {19-30}, timestamp = {2020-04-03T11:54:14.000+0200}, title = {Distributed reachability analysis in timed automata.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt7.html#Behrmann05}, volume = 7, year = 2005 }