DBLP Record 'journals/fuin/KacprzakNNPPSWZ08'

BibTeX

@article{DBLP:journals/fuin/KacprzakNNPPSWZ08,
  author    = {Magdalena Kacprzak and
               Wojciech Nabialek and
               Artur Niewiadomski and
               Wojciech Penczek and
               Agata P{\'o}lrola and
               Maciej Szreter and
               Bozena Wozna and
               Andrzej Zbrzezny},
  title     = {VerICS 2007 - a Model Checker for Knowledge and Real-Time},
  journal   = {Fundam. Inform.},
  volume    = {85},
  number    = {1-4},
  year      = {2008},
  pages     = {313-328},
  ee        = {http://iospress.metapress.com/content/aju14j810h82w141/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}