%0 Conference Paper %1 conf/ifm/BensalemPQT05 %A Bensalem, Saddek %A Peled, Doron A. %A Qu, Hongyang %A Tripakis, Stavros %B IFM %D 2005 %E Romijn, Judi %E Smith, Graeme %E van de Pol, Jaco %I Springer %K %P 5-19 %T Generating Path Conditions for Timed Systems. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2005.html#BensalemPQT05 %V 3771 %@ 3-540-30492-4

@inproceedings{conf/ifm/BensalemPQT05, added-at = {2023-12-13T10:06:26.000+0100}, author = {Bensalem, Saddek and Peled, Doron A. and Qu, Hongyang and Tripakis, Stavros}, biburl = {https://www.bibsonomy.org/bibtex/2454a5fc0de2956e76278bf8bdb71f7a0/admin}, booktitle = {IFM}, crossref = {conf/ifm/2005}, editor = {Romijn, Judi and Smith, Graeme and van de Pol, Jaco}, ee = {https://doi.org/10.1007/11589976_2}, interhash = {d4e8d2294aec33b2213fd241ba3120b9}, intrahash = {454a5fc0de2956e76278bf8bdb71f7a0}, isbn = {3-540-30492-4}, keywords = {}, pages = {5-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:06:26.000+0100}, title = {Generating Path Conditions for Timed Systems.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2005.html#BensalemPQT05}, volume = 3771, year = 2005 }