On the coverability and reachability languages of monotonic extensions of Petri nets
- Delzanno, G.
- Rosa-Velardo, F.
Revue:
Theoretical Computer Science
ISSN: 0304-3975
Année de publication: 2013
Volumen: 467
Pages: 12-29
Type: Article