Vol-1553⫷ Vol-1554 ⫸Vol-1555
urn:nbn:de:0074-1554-0


Vol-1554/PD_MoDELS_2015_paper_14⫷Vol-1554/PD_MoDELS_2015_paper_16⫸Vol-1554/PD_MoDELS_2015_paper_17
Zamira DawJohn ManginoRance Cleaveland

UML-VT: A Formal Verification Environment for UML Activity Diagrams