Mauro Pezzè, Michal Young
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models
ICSE, 1997.
@inproceedings{ICSE-1997-PezzeY,
author = "Mauro Pezzè and Michal Young",
booktitle = "{Proceedings of the 19th International Conference on Software Engineering}",
doi = "10.1145/253228.253278",
editor = "W. Richards Adrion and Alfonso Fuggetta and Richard N. Taylor and Anthony I. Wasserman",
isbn = "0-89791-914-9",
pages = "239--249",
publisher = "{ACM}",
title = "{Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models}",
year = 1997,
}