- 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