AutoFOCUS and the MoDe Tool

Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn. AutoFOCUS and the MoDe Tool. In 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal. pages 249-250, IEEE Computer Society, 2003. [doi]

@inproceedings{RombergJWSH03,
  title = {AutoFOCUS and the MoDe Tool},
  author = {Jan Romberg and Jan Jürjens and Guido Wimmel and Oscar Slotosch and Gabor Hahn},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870249.pdf},
  researchr = {https://researchr.org/publication/RombergJWSH03},
  cites = {0},
  citedby = {0},
  pages = {249-250},
  booktitle = {3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1887-7},
}