DMCA

Deciding finiteness of Petri nets up to bisimulation (1996)

by Petr Jancar , Javier Esparza
Citations:11 - 1 self