Publications by Vesa Ojala
2007
2.
SMUML/canal 1.0.0 --- a counterexample analysator for analyzing abstract counterexamples from data abstracted UML models (2007)
AUTHORS:
Ojala Vesa
1.
SMUML/slicer 1.0.0 --- a slicer for slicing UML state machines (2007)
AUTHORS:
Ojala Vesa
![[URL]](http://research.ics.aalto.fi/publications/bibdb2012/url_icon.png){kind=icon}
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}