«

»

A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics

by Benoit Combemale, Laure Gonnord, Vlad Rusu
Reference:
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (Benoit Combemale, Laure Gonnord, Vlad Rusu), In 7th European Conference on Modelling Foundations and Applications (ECMFA 2011), Springer Verlag, volume 6698, 2011.
Bibtex Entry:
@inproceedings{combemale2011a,
	Address = {Birmingham, United Kingdom},
	Author = {Combemale, Benoit and Gonnord, Laure and Rusu, Vlad},
	Booktitle = {{7th European Conference on Modelling Foundations and Applications (ECMFA 2011)}},
	Month = Jun,
	Pages = {35--51},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {{A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics}},
	Url = {http://hal.inria.fr/hal-00593425},
	Volume = {6698},
	Year = {2011},
	Bdsk-Url-1 = {http://hal.inria.fr/hal-00593425}}