Sebastián Uchitel, Jeff Kramer, Jeff Magee
Behaviour model elaboration using partial labelled transition systems
ESEC-FSE, 2003.
@inproceedings{ESEC-FSE-2003-UchitelKM,
author = "Sebastián Uchitel and Jeff Kramer and Jeff Magee",
booktitle = "{Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering Conference}",
doi = "10.1145/940071.940076",
pages = "19--27",
publisher = "{ACM}",
title = "{Behaviour model elaboration using partial labelled transition systems}",
year = 2003,
}