%0 Conference Paper %1 conf/atva/HuangGVC06 %A Huang, Jinfeng %A Geilen, Marc %A Voeten, Jeroen %A Corporaal, Henk %B ATVA %D 2006 %E Graf, Susanne %E Zhang, Wenhui %I Springer %K dblp %P 260-275 %T Branching-Time Property Preservation Between Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/atva/atva2006.html#HuangGVC06 %V 4218 %@ 3-540-47237-1

@inproceedings{conf/atva/HuangGVC06, added-at = {2017-05-21T00:00:00.000+0200}, author = {Huang, Jinfeng and Geilen, Marc and Voeten, Jeroen and Corporaal, Henk}, biburl = {https://www.bibsonomy.org/bibtex/2e69d8d5e901142fbb195029a34d623f8/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2006}, editor = {Graf, Susanne and Zhang, Wenhui}, ee = {https://doi.org/10.1007/11901914_21}, interhash = {d058af447b826d9b038100dbf47b2752}, intrahash = {e69d8d5e901142fbb195029a34d623f8}, isbn = {3-540-47237-1}, keywords = {dblp}, pages = {260-275}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:53.000+0200}, title = {Branching-Time Property Preservation Between Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2006.html#HuangGVC06}, volume = 4218, year = 2006 }