The following pages link to Ivana Černá (Q1306564):
Displaying 8 items.
- (Q549689) (redirect page) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Comparing expressibility of normed BPA and normed BPP processes (Q1306565) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637) (← links)
- (Q4636600) (← links)
- Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (Q5222949) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431318) (← links)
