%0 Conference Paper %1 conf/isola/BensalemPQT04 %A Bensalem, Saddek %A Peled, Doron A. %A Qu, Hongyang %A Tripakis, Stavros %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 243-249 %T Automatic Generation of Path Conditions for Timed Systems. %U http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#BensalemPQT04 %V TR-2004-6

@inproceedings{conf/isola/BensalemPQT04, added-at = {2016-02-12T00:00:00.000+0100}, author = {Bensalem, Saddek and Peled, Doron A. and Qu, Hongyang and Tripakis, Stavros}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29482c9f31e9dd828753d4892677c9117/dblp}, booktitle = {ISoLA (Preliminary proceedings)}, crossref = {conf/isola/2004i}, editor = {Margaria, Tiziana and Steffen, Bernhard and Philippou, Anna and Reitenspieß, Manfred}, interhash = {a7972c6594824612121fe0f7ec934bb4}, intrahash = {9482c9f31e9dd828753d4892677c9117}, keywords = {dblp}, pages = {243-249}, publisher = {Department of Computer Science, University of Cyprus}, series = {Technical Report}, timestamp = {2016-02-13T10:32:49.000+0100}, title = {Automatic Generation of Path Conditions for Timed Systems.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#BensalemPQT04}, volume = {TR-2004-6}, year = 2004 }