{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-1554/PD_MoDELS_2015_paper_16.html","spt.description":null,"spt.id":"Vol-1554/PD_MoDELS_2015_paper_16","spt.wikidataid":null,"spt.title":"UML-VT: A Formal Verification Environment for UML Activity Diagrams","spt.pdfUrl":"https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_16.pdf","spt.volume":{"number":1554,"acronym":"MoDELS P&D 2015","wikidataid":"Q113544444","title":"Proceedings of the MoDELS 2015 Demo and Poster Session","description":"Proceedings of MoDELS P&D 2015 workshop","url":"http://ceur-ws.org/Vol-1554/","date":"2016-02-02","dblp":"conf/models/2015pd","k10plus":"1032672145","urn":"urn:nbn:de:0074-1554-7"},"spt.session":null,"cvb.id":"Vol-1554/PD_MoDELS_2015_paper_16","cvb.title":"UML-VT: A Formal Verification Environment for UML Activity Diagrams","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Zamira Daw,John Mangino,Rance Cleaveland","cvb.vol_number":"1554","cvb.pdf_name":"PD_MoDELS_2015_paper_16.pdf","cvb.pages":"48-51","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/models/DawMC15","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/models/2015pd","dblp.volume_number":1554,"dblp.title":"UML-VT: A Formal Verification Environment for UML Activity Diagrams.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/176/8799","label":"John Mangino","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/c/RCleaveland","label":"Rance Cleaveland","wikidata_id":"Q102234777","orcid_id":"0000-0002-4952-5380","gnd_id":"113103166"},{"dblp_author_id":"https://dblp.org/pid/87/7423","label":"Zamira Daw","wikidata_id":null,"orcid_id":null,"gnd_id":null}],"dblp.pdf_id":"Vol-1554/PD_MoDELS_2015_paper_16"}