BibTeX record journals/topnoc/WestergaardK12

download as .bib file

@article{DBLP:journals/topnoc/WestergaardK12,
  author    = {Michael Westergaard and
               Lars Michael Kristensen},
  title     = {A Graphical Approach to Component-Based and Extensible Model Checking
               Platforms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {265--291},
  year      = {2012}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics