Publikationen
@TECHREPORT{Greenyer2010a, author = {Joel Greenyer}, title = {{S}ynthesizing {Modal Sequence Diagram} {S}pecifications with {Uppaal-Tiga}}, institution = {University of Paderborn}, year = {2010}, number = {tr-ri-10-310}, month = {February}, series = {Technical Report}, url = {http://www.cs.uni-paderborn.de/fileadmin/Informatik/FG-Schaefer/Personen/jgreen/msd-to-tga/msd-to-tiga.pdf}, volume = {tr-ri-10-310} }