%0 Conference Paper %1 conf/formats/AljazzarL06 %A Aljazzar, Husain %A Leue, Stefan %B FORMATS %D 2006 %E Asarin, Eugene %E Bouyer, Patricia %I Springer %K dblp %P 33-51 %T Extended Directed Search for Probabilistic Timed Reachability. %U http://dblp.uni-trier.de/db/conf/formats/formats2006.html#AljazzarL06 %V 4202 %@ 3-540-45026-2

@inproceedings{conf/formats/AljazzarL06, added-at = {2017-05-26T00:00:00.000+0200}, author = {Aljazzar, Husain and Leue, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d290612b3b23906daad0928ef01c415d/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2006}, editor = {Asarin, Eugene and Bouyer, Patricia}, ee = {https://doi.org/10.1007/11867340_4}, interhash = {9b57d3e77f7d642eee942ac2ef0d7a94}, intrahash = {d290612b3b23906daad0928ef01c415d}, isbn = {3-540-45026-2}, keywords = {dblp}, pages = {33-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:27:42.000+0200}, title = {Extended Directed Search for Probabilistic Timed Reachability.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2006.html#AljazzarL06}, volume = 4202, year = 2006 }