Tilbage til artikeldetaljer
Specification and Verification of Networks in a Petri Net based Language
Download
Download PDF