Вы здесь

Главная

infinite state system

Связанные издания:

Reachability Problems: Proc./15th International Conference, RP 2021, Liverpool, UK, October 2021
Reachability Problems: Proc./4th International Workshop, RP 2010, Brno, Czech Republic, August 2010
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014
Reachability Problems: Proc./9th International Workshop, RP 2015, Warsaw, Poland, September 2015
Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014