Franck van Breugel : Publications
-
[1]
Automatic Handling of Native Methods in Java PathFinder
Nastaran Shafiei and Franck van Breugel
In Proceedings of the 21st International SPIN Workshop. ACM. July, 2014.
Details about Automatic Handling of Native Methods in Java PathFinder | BibTeX data for Automatic Handling of Native Methods in Java PathFinder
-
[2]
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
Franck van Breugel and James Worrell
In Horizons of the Mind. A Tribute to Prakash Panangaden. Vol. 8464 of Lecture Notes in Computer Science. Pages 191−213. Springer−Verlag. May, 2014.
Details about The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata | BibTeX data for The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata