%0 Conference Paper %1 conf/ismvl/LiMA07 %A Li, Donglin %A Mohamed, Otmane Aït %A Abed, Sa'ed %B ISMVL %D 2007 %I IEEE Computer Society %K dblp %P 53 %T Towards First-Order Symbolic Trajectory Evaluation. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2007.html#LiMA07 %@ 978-0-7695-2831-1

@inproceedings{conf/ismvl/LiMA07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Li, Donglin and Mohamed, Otmane Aït and Abed, Sa'ed}, biburl = {https://www.bibsonomy.org/bibtex/2a9ba8e71c4824ce00df166412b4e4fc1/dblp}, booktitle = {ISMVL}, crossref = {conf/ismvl/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISMVL.2007.57}, interhash = {f18670e9eaedbe42693a0db493e72273}, intrahash = {a9ba8e71c4824ce00df166412b4e4fc1}, isbn = {978-0-7695-2831-1}, keywords = {dblp}, pages = 53, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:18:09.000+0200}, title = {Towards First-Order Symbolic Trajectory Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2007.html#LiMA07}, year = 2007 }