![](/img/cover-not-exists.png)
Verification of membrane systems with delays via Petri nets with delays
Aman, Bogdan, Ciobanu, GabrielLanguage:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.03.051
Date:
April, 2015
File:
PDF, 1.45 MB
english, 2015