{"labels":{"en":"UML-VT: A Formal Verification Environment for UML Activity Diagrams"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 1554"},"claims":{"P31":"Q13442814","P1433":"Q113544444","P1476":{"text":"UML-VT: A Formal Verification Environment for UML Activity Diagrams","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_16.pdf","P50":[{"value":"Q102234777","qualifiers":{"P1545":"3"}}],"P2093":[{"value":"Zamira Daw","qualifiers":{"P1545":"1"}},{"value":"John Mangino","qualifiers":{"P1545":"2"}}]}}