Bisimulation Finiteness of Pushdown Systems Is Elementary
Bisimulation Finiteness of Pushdown Systems Is Elementary
Autor
Göller Stefan
Data publikacji
Dyscyplina PBN
informatyka
Strony od-do
521-534
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty