%0 Conference Paper %1 conf/formats/BehrmannLR05 %A Behrmann, Gerd %A Larsen, Kim Guldstrand %A Rasmussen, Jacob Illum %B FORMATS %D 2005 %E Pettersson, Paul %E Yi, Wang %I Springer %K dblp %P 81-94 %T Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. %U http://dblp.uni-trier.de/db/conf/formats/formats2005.html#BehrmannLR05 %V 3829 %@ 3-540-30946-2

@inproceedings{conf/formats/BehrmannLR05, added-at = {2017-05-26T00:00:00.000+0200}, author = {Behrmann, Gerd and Larsen, Kim Guldstrand and Rasmussen, Jacob Illum}, biburl = {https://www.bibsonomy.org/bibtex/2edb58b5bc73ebd95b3863aa991907955/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2005}, editor = {Pettersson, Paul and Yi, Wang}, ee = {https://doi.org/10.1007/11603009_7}, interhash = {43f47ddd0616386417b9971379e2e763}, intrahash = {edb58b5bc73ebd95b3863aa991907955}, isbn = {3-540-30946-2}, keywords = {dblp}, pages = {81-94}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:19.000+0200}, title = {Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2005.html#BehrmannLR05}, volume = 3829, year = 2005 }