User: Guest  Login
Title:

Computing refactorings of state machines

Document type:
Konferenzbeitrag
Author(s):
Pretschner, Alexander; Prenninger, Wolfgang
Pages contribution:
381-399
Keywords:
testing, model, logic
Book / Congress title:
J. Software Systems Modeling 6(4):381-399, December 2007
Publisher:
Springer Science + Business Media
Date of publication:
24.01.2007
Year:
2007
Fulltext / DOI:
doi:10.1007/s10270-006-0037-5
 BibTeX