%0 Conference Paper %1 conf/tacas/SharmaPC05 %A Sharma, Babita %A Pandya, Paritosh K. %A Chakraborty, Supratik %B TACAS %D 2005 %E Halbwachs, Nicolas %E Zuck, Lenore D. %I Springer %K dblp %P 301-316 %T Bounded Validity Checking of Interval Duration Logic. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#SharmaPC05 %V 3440 %@ 3-540-25333-5

@inproceedings{conf/tacas/SharmaPC05, added-at = {2023-09-30T00:00:00.000+0200}, author = {Sharma, Babita and Pandya, Paritosh K. and Chakraborty, Supratik}, biburl = {https://www.bibsonomy.org/bibtex/2bd7619c5746e1a97d6018364eb5b1bb2/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2005}, editor = {Halbwachs, Nicolas and Zuck, Lenore D.}, ee = {https://doi.org/10.1007/978-3-540-31980-1_20}, interhash = {6d5c4898bc406c22864c45ebedd9c3be}, intrahash = {bd7619c5746e1a97d6018364eb5b1bb2}, isbn = {3-540-25333-5}, keywords = {dblp}, pages = {301-316}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:31:31.000+0200}, title = {Bounded Validity Checking of Interval Duration Logic.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#SharmaPC05}, volume = 3440, year = 2005 }