Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science, 220(2):67-83, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.