LeueH99'

BibTeX

@inproceedings{DBLP:conf/isorc/LeueH99,
  author    = {Stefan Leue and
               Gerard J. Holzmann},
  title     = {v-Promela: A Visual, Object-Oriented Language for SPIN},
  booktitle = {ISORC},
  year      = {1999},
  pages     = {14-23},
  ee        = {http://csdl.computer.org/comp/proceedings/isorc/1999/0207/00/02070014abs.htm},
  crossref  = {DBLP:conf/isorc/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isorc/1999,
  title     = {2nd International Symposium on Object-Oriented Real-Time
               Distributed Computing (ISORC '99), May 2-5, 1999, Saint
               Malo, France},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0207-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}