Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
BibTeX

@article {BBGHKKPS2008,
    author = {Jewgenij Botaschanjan and Manfred Broy and Alexander Gruler and Alexander Harhurin and Steffen Knapp and Leonid Kof and Wolfgang Paul and Maria Spichkova},
    title = {{On the correctness of upper layers of automotive systems}},
    journal = {Formal Aspects of Computing},
    year = {2008},
    volume = {20},
    number = {6},
    pages = {637-662},
    month = {dec},
    note = {ISSN 0934-5043 (Print) 1433-299X (Online), available at http://www.springerlink.com/content/t0w6u47r231r2j43}
}
  
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact