For the most recent entries see the
Petri Nets Newsletter.
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
Uchihira, N.;
Honiden, S.
ICOT Technical Memorandum 0900, pages 1-8 pp..
Tokyo, Japan: Institute for New Generation Computer Technology,
1990.
Keywords:
concurrent program, verification (and) synthesis; temporal logic.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography