For the most recent entries see the Petri Nets Newsletter.

Verification of the Capability Exchange Signalling protocol.

Liu, Lin; Billington, Jonathan

In: International Journal on Software Tools for Technology Transfer (STTT). 2007. URL:

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

Back to the Petri Nets Bibliography