User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Pretschner, Alexander; Prenninger, Wolfgang 
Title:
Computing refactorings of state machines 
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