Hynek Mlnarik

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Automated Verification

Transition Systems

Top Venues

Int. J. Unconv. Comput.

Publications

Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou
Model Checking for Communicating Quantum Processes. Int. J. Unconv. Comput. 8 (1) (2012)