Prohlížení dle autora "Karandikar, Prateek"
-
On reachability for unidirectional channel systems extended with regular tests
Jančar, Petr; Karandikar, Prateek; Schnoebelen, Philippe (Logical Methods in Computer Science. 2015, vol. 11, issue 2, art. no. 2.)