Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size
Lumpe, M and Vasa, Venkata Rajesh 2010, Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 37, no. 37, pp. 12-26, doi: 10.4204/EPTCS.37.2.
Title
Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.
Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO.
If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.
Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.