%0 Conference Paper %1 conf/atva/EvangelistaKP13 %A Evangelista, Sami %A Kristensen, Lars Michael %A Petrucci, Laure %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K dblp %P 208-223 %T Multi-threaded Explicit State Space Exploration with State Reconstruction. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#EvangelistaKP13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/EvangelistaKP13, added-at = {2017-09-16T00:00:00.000+0200}, author = {Evangelista, Sami and Kristensen, Lars Michael and Petrucci, Laure}, biburl = {https://www.bibsonomy.org/bibtex/2d4f50d60dd7c2bda195e8bbf0d2822f4/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_16}, interhash = {8532341c445eecbe11005db3be391666}, intrahash = {d4f50d60dd7c2bda195e8bbf0d2822f4}, isbn = {978-3-319-02443-1}, keywords = {dblp}, pages = {208-223}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:01.000+0200}, title = {Multi-threaded Explicit State Space Exploration with State Reconstruction.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#EvangelistaKP13}, volume = 8172, year = 2013 }