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: http://dx.doi.org/10.1007/s10009-007-0037-y.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography