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