Publikationen

@INPROCEEDINGS{Frieben2012,
  author = {Jens Frieben AND Joel Greenyer},
  title = {{C}onsistency {C}hecking {S}cenario-{B}ased {S}pecifications of {D}ynamic
	{S}ystems},
  booktitle = {Workshop on Behaviour Modelling -- Foundations and Applications (BMFA
	2012)},
  year = {2012},
  url = {http://jgreen.de/wp-content/documents/2012/consistency-checking-scenario-based-specifications-of-dynamic-systems.pdf}
}