%0 Conference Paper %1 conf/ems/LeyeMU10 %A Leye, Stefan %A Mazemondet, Orianne %A Uhrmacher, Adelinde M. %B EMS %D 2010 %I IEEE Computer Society %K dblp %P 344-350 %T Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking. %U http://dblp.uni-trier.de/db/conf/ems/ems2010.html#LeyeMU10 %@ 978-0-7695-4308-6

@inproceedings{conf/ems/LeyeMU10, added-at = {2014-07-25T00:00:00.000+0200}, author = {Leye, Stefan and Mazemondet, Orianne and Uhrmacher, Adelinde M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2703fe9d26e89e1414c71e8e2d7240969/dblp}, booktitle = {EMS}, crossref = {conf/ems/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/EMS.2010.63}, interhash = {519641cd158b9bdadb89389e6eb02e66}, intrahash = {703fe9d26e89e1414c71e8e2d7240969}, isbn = {978-0-7695-4308-6}, keywords = {dblp}, pages = {344-350}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:07:59.000+0100}, title = {Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/ems/ems2010.html#LeyeMU10}, year = 2010 }