Franck van Breugel

Franck van Breugel

Software Developer

Leaving date: 15th August 2014

Projects:

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
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