Pushdown automata, multiset automata, and Petri nets
Date first appeared online
DOI 10.1016/S0304-3975(00)00099-2
Authors Moller F.
Journal Name Theoretical Computer Science
Volume 256

Documents