
[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - Solving coverability problems of petri nets by partial deduction
Leuschel, Michael, Lehmann, HelkoAnnée:
2000
Langue:
english
DOI:
10.1145/351268.351298
Fichier:
PDF, 314 KB
english, 2000