%0 Conference Paper %1 journals/corr/abs-1111-0372 %A Kahsai, Temesghen %A Tinelli, Cesare %B PDMC %D 2011 %E Barnat, Jiri %E Heljanko, Keijo %K %P 55-62 %T PKind: A parallel k-induction based model checker %U http://dblp.uni-trier.de/db/series/eptcs/eptcs72.html#abs-1111-0372 %V 72

@inproceedings{journals/corr/abs-1111-0372, added-at = {2023-12-14T14:32:35.000+0100}, author = {Kahsai, Temesghen and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/281aa544b24fe519851cd4362f13aa957/admin}, booktitle = {PDMC}, crossref = {journals/corr/abs-1111-0064}, editor = {Barnat, Jiri and Heljanko, Keijo}, ee = {http://arxiv.org/abs/1111.0372}, interhash = {e095863921d07806ac03d56579c863b4}, intrahash = {81aa544b24fe519851cd4362f13aa957}, keywords = {}, pages = {55-62}, series = {EPTCS}, timestamp = {2023-12-14T14:32:35.000+0100}, title = {PKind: A parallel k-induction based model checker}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs72.html#abs-1111-0372}, volume = 72, year = 2011 }