Model Checking of UML 2.0 Interactions (bibtex)
by Alexander Knapp, Jochen Wuttke
Reference:
Model Checking of UML 2.0 Interactions Alexander Knapp, Jochen WuttkeIn Models in Software Engineering, 2006
Bibtex Entry:
@string{star="STAR"}
@inproceedings{Knapp:UML:MSE:2006,
  groups = STAR,
  Author = {Alexander Knapp and Jochen Wuttke},
  Booktitle = {Models in Software Engineering},
  Pages = {42--51},
  Title = {Model Checking of UML 2.0 Interactions},
  Year = 2006
}
Powered by bibtexbrowser