%0 Conference Paper %1 conf/lata/SaeedloeiG10 %A Saeedloei, Neda %A Gupta, Gopal %B LATA %D 2010 %E Dediu, Adrian-Horia %E Fernau, Henning %E Martín-Vide, Carlos %I Springer %K dblp %P 536-548 %T Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). %U http://dblp.uni-trier.de/db/conf/lata/lata2010.html#SaeedloeiG10 %V 6031 %@ 978-3-642-13088-5

@inproceedings{conf/lata/SaeedloeiG10, added-at = {2022-10-26T00:00:00.000+0200}, author = {Saeedloei, Neda and Gupta, Gopal}, biburl = {https://www.bibsonomy.org/bibtex/2ff33bcc9218c3d4f230edf800a807a69/dblp}, booktitle = {LATA}, crossref = {conf/lata/2010}, editor = {Dediu, Adrian-Horia and Fernau, Henning and Martín-Vide, Carlos}, ee = {https://doi.org/10.1007/978-3-642-13089-2_45}, interhash = {cdb08956ce4f5963b354d9951e029e66}, intrahash = {ff33bcc9218c3d4f230edf800a807a69}, isbn = {978-3-642-13088-5}, keywords = {dblp}, pages = {536-548}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:53:36.000+0200}, title = {Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R).}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2010.html#SaeedloeiG10}, volume = 6031, year = 2010 }