Artikel,

Boundedness problem for lossy counter machines.

.
Autom. Control. Comput. Sci., 44 (7): 455-466 (2010)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen