For the most recent entries see the
Petri Nets Newsletter
.
Keyword: linear temporal logics
Esparza, J.
;
Heljanko, K.
:
A new unfolding approach to LTL model checking.
2000.
Leucker, M.
:
On model checking synchronized hardware circuits.
2000.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography