For the most recent entries see the
Petri Nets Newsletter
.
Keyword: verification tool
Bagchi, K.K.
;
Olson, O.
;
Sorenson, L.
;
Kristenson, A.
:
A Transputer Based Real-Time Kernel and its Verification.
1989.
Dill, David L.
;
Nowick, Steven M.
;
Sproull, Robert F.
:
Automatic Verification of Speed-Independent Circuits with Petri Net Specifications.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography