For the most recent entries see the
Petri Nets Newsletter.
A New Compositional Method for Condensed State-Space Verification.
Juan, E.Y.T.;
Tsai, J.J.P.;
Murata, Tadao
In:
Procs. of the IEEE High-Assurance Systems Engineering Workshop, Ontario, Canada, Oct. 22, 1996.
IEEE Computer Society Press,
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography