@inproceedings{journals/corr/ManciniMMMT15, added-at = {2015-11-02T00:00:00.000+0100}, author = {Mancini, Toni and Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico}, biburl = {http://www.bibsonomy.org/bibtex/251c02adc4885252a9440e905c35526e1/dblp}, booktitle = {GandALF}, crossref = {journals/corr/EsparzaT15}, editor = {Esparza, Javier and Tronci, Enrico}, ee = {http://dx.doi.org/10.4204/EPTCS.193.7}, interhash = {9ac1a29fa389efd8317f282cd0b8f6b1}, intrahash = {51c02adc4885252a9440e905c35526e1}, keywords = {dblp}, pages = {86-99}, series = {EPTCS}, timestamp = {2015-11-04T11:34:37.000+0100}, title = {Simulator Semantics for System Level Formal Verification.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#ManciniMMMT15}, volume = 193, year = 2015 }