For the most recent entries see the
Petri Nets Newsletter.
Vanit-Anunchai, S.
-
Gallasch, Guy Edward;
Billington, Jonathan;
Vanit-Anunchai, Somsak;
Kristensen, Lars Michael:
Checking safety properties on-the-fly with the sweep-line method.
2007.
-
Vanit-Anunchai, S.;
Billington, J.:
Effect of Sequence Number Wrap on DCCP Connection Establishment.
2006.
-
Vanit-Anunchai, Somsak;
Billington, Jonathan;
Kongprakaiwoot, Tul:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
2005.
-
Vanit-Anunchai, Somsak;
Billington, Jonathan:
Modelling Probalistic Inference using Coloured Petri Nets and Factor Graphs.
2004.
-
Vanit-Anunchai, S.;
Billington, J.:
Initial Result of a Formal Analysis of DCCP Connection Management.
2004.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography