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}
}