kirancodes.me
To Proof Maintenance & Beyond!

Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04)

Holger Giese, Ingolf Krüger

No abstract available.

BibTeX
@inproceedings{Giese-Krueger:ICSE04,
  author    = {Holger Giese and
               Ingolf Kr{\"{u}}ger},
  title     = {Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools {(SCESM'04)}},
  booktitle = {ICSE},
  pages     = {766--767},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}

Related papers