Semantics of UML Statecharts in PVS Demissie Aredo Publication details Journal: Ukjent, p. 6–6, Tuesday 1. July 2003 Link: FULLTEKST: http://publications.nr.no/3747/Aredo_-_Semantics_of_UML_Statecharts_in_PVS.pdf You are here: Home Publications Scientific article Semantics of UML Statecharts in PVS