Where academic tradition
meets the exciting future

NoTA (Sub)System Specification Guidelines

Mathias KarlÄ, Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola, NoTA (Sub)System Specification Guidelines. TUCS Technical Reports 916, Turku Centre for Computer Science, 2008.

BibTeX entry:

  title = {NoTA (Sub)System Specification Guidelines},
  author = {KarlĂ„, Mathias and Lilius, Johan and Lindqvist, Johan and Porres, Ivan and Truscan, Dragos and Eriksson, Timo and Latva-Aho, Antti and Rakkola, Juha},
  number = {916},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2008},

Edit publication