NicolaNU05'

BibTeX

@inproceedings{DBLP:conf/vveis/NicolaNU05,
  author    = {Thierry Nicola and
               Frank Nie{\ss}ner and
               Ulrich Ultes-Nitsche},
  title     = {Model-checking Inherently Fair Linear-time Properties},
  booktitle = {MSVVEIS},
  year      = {2005},
  pages     = {3-8},
  crossref  = {DBLP:conf/vveis/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vveis/2005,
  editor    = {Ulrich Ultes-Nitsche and
               Juan Carlos Augusto and
               Joseph Barjis},
  title     = {Modelling, Simulation, Verification and Validation of Enterprise
               Information Systems, Proceedings of the 3rd International
               Workshop on Modelling, Simulation, Verification and Validation
               of Enterprise Information Systems, MSVVEIS 2005, In conjunction
               with ICEIS 2005, Miami, FL, USA, May 2005},
  booktitle = {MSVVEIS},
  publisher = {INSTICC Press INSTICC Press},
  year      = {2005},
  isbn      = {972-8865-22-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}