Inproceedings,

Extensions of pushdown automata and Petri nets.

.
ACM Conference on Computer Science, page 414. ACM, (1989)

Meta data

Tags

Users

  • @dblp

Comments and Reviews