LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) at the European Joint Conferences on Theory and Practice of Software (ETAPS), - 2003

BibTex references

@InProceedings\{UCKM03,
  author       = "Uchitel, Sebastian and Chatley, Robert and Kramer, Jeff and Magee, Jeff",
  title        = "LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios",
  booktitle    = "Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) at the European Joint Conferences on Theory and Practice of Software (ETAPS),",
  year         = "2003",
  url          = "http://publicaciones.dc.uba.ar/Publications/2003/UCKM03"
}

Other publications in the database

» Sebastian Uchitel
» Robert Chatley
» Jeff Kramer
» Jeff Magee