%0 Conference Paper %1 conf/epew/JacobsenJMS10 %A Jacobsen, Lasse %A Jacobsen, Morten %A Møller, Mikael H. %A Srba, Jirí %B EPEW %D 2010 %E Aldini, Alessandro %E Bernardo, Marco %E Bononi, Luciano %E Cortellessa, Vittorio %I Springer %K dblp %P 83-98 %T A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. %U http://dblp.uni-trier.de/db/conf/epew/epew2010.html#JacobsenJMS10 %V 6342 %@ 978-3-642-15783-7

@inproceedings{conf/epew/JacobsenJMS10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Jacobsen, Lasse and Jacobsen, Morten and Møller, Mikael H. and Srba, Jirí}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20e066b4220619a083cd623c101bef13a/dblp}, booktitle = {EPEW}, crossref = {conf/epew/2010}, editor = {Aldini, Alessandro and Bernardo, Marco and Bononi, Luciano and Cortellessa, Vittorio}, ee = {https://doi.org/10.1007/978-3-642-15784-4_6}, interhash = {8a35537d38ce2909bbe6d13e621ba670}, intrahash = {0e066b4220619a083cd623c101bef13a}, isbn = {978-3-642-15783-7}, keywords = {dblp}, pages = {83-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:34:16.000+0200}, title = {A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/epew/epew2010.html#JacobsenJMS10}, volume = 6342, year = 2010 }