Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Computing Maximal Bisimulations

Computing Maximal Bisimulations

Alexandre Boulgakov‚ Thomas Gibson−Robinson and A.W. Roscoe

Book Title
Formal Methods and Software Engineering − 16th International Conference on Formal Engineering Methods‚ ICFEM 2014‚ Proceedings
Year
2014

Links

See Also

Back to Top