Symbolic execution of concurrent systems using Petri nets
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro PezzèVolume:
14
Year:
1989
Language:
english
Pages:
19
DOI:
10.1016/0096-0551(89)90023-4
File:
PDF, 1.29 MB
english, 1989