For the most recent entries see the
Petri Nets Newsletter.
Keyword: state space methods
-
Kristensen, L. M.;
Schmidt, K.;
Valmari, A.:
Question-guided stubborn set methods for state properties.
2006.
-
Vanit-Anunchai, S.;
Billington, J.:
Effect of Sequence Number Wrap on DCCP Connection Establishment.
2006.
-
Gallasch, Guy;
Han, Bing;
Billington, Jonathan:
Sweep-Line Analysis of TCP Connection Management.
2005.
-
Vanit-Anunchai, Somsak;
Billington, Jonathan;
Kongprakaiwoot, Tul:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
2005.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography