Ernst W. Mayr
Ernst W. Mayr and Albert R. Meyer.
The complexity of the finite containment problem for Petri nets.
Journal of the ACM
, 28(3):561-576, July 1981.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database