Creating Well-Structured Specifications in MOFLON

Carsten Amelunxen, Tobias Rötschke. Creating Well-Structured Specifications in MOFLON. ECEASST, 1, 2006. [doi]

@article{AmelunxenR06,
  title = {Creating Well-Structured Specifications in MOFLON},
  author = {Carsten Amelunxen and Tobias Rötschke},
  year = {2006},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/74},
  researchr = {https://researchr.org/publication/AmelunxenR06},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {1},
}