Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis. Automatic generation of path conditions for concurrent timed systems. Theoretical Computer Science, 404(3):275-292, 2008. [doi]
@article{BensalemPQT08, title = {Automatic generation of path conditions for concurrent timed systems}, author = {Saddek Bensalem and Doron Peled and Hongyang Qu and Stavros Tripakis}, year = {2008}, doi = {10.1016/j.tcs.2008.03.012}, url = {http://dx.doi.org/10.1016/j.tcs.2008.03.012}, researchr = {https://researchr.org/publication/BensalemPQT08}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {404}, number = {3}, pages = {275-292}, }