Franck van Breugel : Publications

Click here to download all publications in a single bibtex file

@incollection{SB14,
  title = "Automatic Handling of Native Methods in Java PathFinder",
  author = "Nastaran Shafiei and Breugel, Franck van",
  year = "2014",
  booktitle = "Proceedings of the 21st International SPIN Workshop",
  month = "July",
  publisher = "ACM",
}

@incollection{BW14,
  title = "The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata",
  author = "Breugel, Franck van and Worrell, James",
  year = "2014",
  booktitle = "Horizons of the Mind. A Tribute to Prakash Panangaden",
  month = "May",
  pages = "191-213",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "8464",
}