search author

DBLP BibTeX Record 'conf/apn/SchroterSE03'

@inproceedings{DBLP:conf/apn/SchroterSE03,
  author    = {Claus Schr{\"o}ter and
               Stefan Schwoon and
               Javier Esparza},
  title     = {The Model-Checking Kit},
  booktitle = {ICATPN},
  year      = {2003},
  pages     = {463-472},
  ee        = {http://dx.doi.org/10.1007/3-540-44919-1_29},
  crossref  = {DBLP:conf/apn/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apn/2003,
  editor    = {Wil M. P. van der Aalst and
               Eike Best},
  title     = {Applications and Theory of Petri Nets 2003, 24th International
               Conference, ICATPN 2003, Eindhoven, The Netherlands, June
               23-27, 2003, Proceedings},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2679},
  year      = {2003},
  isbn      = {3-540-40334-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}