%0 Conference Paper %1 conf/isola/FlorescuVC04 %A Florescu, Oana %A Voeten, Jeroen %A Corporaal, Henk %B ISoLA (Preliminary proceedings) %D 2004 %E Margaria, Tiziana %E Steffen, Bernhard %E Philippou, Anna %E Reitenspieß, Manfred %I Department of Computer Science, University of Cyprus %K dblp %P 220-226 %T A Unified Model for Analysis of Real-Time Properties. %U http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#FlorescuVC04 %V TR-2004-6

@inproceedings{conf/isola/FlorescuVC04, added-at = {2008-09-11T00:00:00.000+0200}, author = {Florescu, Oana and Voeten, Jeroen and Corporaal, Henk}, biburl = {https://www.bibsonomy.org/bibtex/2befa7629797d64f6b29c179e00861633/dblp}, booktitle = {ISoLA (Preliminary proceedings)}, crossref = {conf/isola/2004i}, date = {2008-09-11}, description = {dblp}, editor = {Margaria, Tiziana and Steffen, Bernhard and Philippou, Anna and Reitenspieß, Manfred}, interhash = {7face2ec34fd2a1fa19a89ff22e47e62}, intrahash = {befa7629797d64f6b29c179e00861633}, keywords = {dblp}, pages = {220-226}, publisher = {Department of Computer Science, University of Cyprus}, series = {Technical Report}, timestamp = {2008-09-12T11:34:32.000+0200}, title = {A Unified Model for Analysis of Real-Time Properties.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#FlorescuVC04}, volume = {TR-2004-6}, year = 2004 }