The following pages link to Radek Pelánek (Q3408486):
Displaying 12 items.
- (Q4426370) (← links)
- (Q4473984) (← links)
- (Q4474210) (← links)
- Model Checking Software (Q5308363) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308415) (← links)
- Predicate Abstraction with Under-approximation Refinement (Q5310681) (← links)
- Difficulty Rating of Sokoban Puzzle (Q5392503) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431318) (← links)
- Computer Aided Verification (Q5716598) (← links)
- Implementation and Application of Automata (Q5897680) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897779) (← links)
- Computer Aided Verification (Q5900704) (← links)
