For the most recent entries see the Petri Nets Newsletter.

Keyword: specification verification

Hulgaard, H.; Burns, S.M.; Amon, T.; Borriello, G.:
An algorithm for exact bounds on the time separation of events in concurrent systems. 1995.
Hasegawa, H.:
An Application on Specification Verification in Communication Software. 1989.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography