Fast decision of strong bisimulation equivalence using partition refinement
Abstract:
This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.
Abstract:
This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.