%0 Conference Paper %1 journals/corr/ManciniMMMT15 %A Mancini, Toni %A Mari, Federico %A Massini, Annalisa %A Melatti, Igor %A Tronci, Enrico %B GandALF %D 2015 %E Esparza, Javier %E Tronci, Enrico %K dblp %P 86-99 %T Simulator Semantics for System Level Formal Verification. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#ManciniMMMT15 %V 193

@inproceedings{journals/corr/ManciniMMMT15, added-at = {2019-09-25T00:00:00.000+0200}, author = {Mancini, Toni and Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/251c02adc4885252a9440e905c35526e1/dblp}, booktitle = {GandALF}, crossref = {journals/corr/EsparzaT15}, editor = {Esparza, Javier and Tronci, Enrico}, ee = {http://arxiv.org/abs/1509.07201}, interhash = {9ac1a29fa389efd8317f282cd0b8f6b1}, intrahash = {51c02adc4885252a9440e905c35526e1}, keywords = {dblp}, pages = {86-99}, series = {EPTCS}, timestamp = {2024-04-09T09:29:53.000+0200}, title = {Simulator Semantics for System Level Formal Verification.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#ManciniMMMT15}, volume = 193, year = 2015 }