| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 2,41 | 14,45 | Partial Order Reduction for State/Event LTL
|
| 7,23 | 21,68 | On Determinism in Modal Transition Systems
|
| 0,00 | 0,00 | Space Effective Model Checking for Component-Interaction Automata
|
| 0,00 | 0,00 | A Case Study in Parallel Verification of Component-Based Systems
|
| 4,02 | 20,12 | A Case Study in Parallel Verification of Component-Based Systems
|
| 0,00 | 0,00 | The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
|
| 0,00 | 0,00 | Component-Interaction Automata Approach (CoIn)
|
| 4,82 | 14,45 | Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
|
| 18,06 | 72,24 | CoIn Tool Set
|
Back
(c) Michal Bulant, 2011