%0 Conference Paper %1 conf/iccomm/PuraMB16 %A Pura, Mihai Lica %A Morogan, Luciana %A Buchs, Didier %B COMM %D 2016 %I IEEE %K dblp %P 85-88 %T Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting. %U http://dblp.uni-trier.de/db/conf/iccomm/iccomm2016.html#PuraMB16 %@ 978-1-4673-8197-0

@inproceedings{conf/iccomm/PuraMB16, added-at = {2022-04-09T00:00:00.000+0200}, author = {Pura, Mihai Lica and Morogan, Luciana and Buchs, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2ba07897424287d16d869f26f506be253/dblp}, booktitle = {COMM}, crossref = {conf/iccomm/2016}, ee = {https://doi.org/10.1109/ICComm.2016.7528292}, interhash = {6a4dd86bb5054e71a1071f0c101bb89d}, intrahash = {ba07897424287d16d869f26f506be253}, isbn = {978-1-4673-8197-0}, keywords = {dblp}, pages = {85-88}, publisher = {IEEE}, timestamp = {2024-04-10T01:34:39.000+0200}, title = {Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting.}, url = {http://dblp.uni-trier.de/db/conf/iccomm/iccomm2016.html#PuraMB16}, year = 2016 }