Experience using coloured petri nets to model TCP's connection management procedures
| dc.contributor.author | Han, B. | |
| dc.contributor.author | Billington, J. | |
| dc.contributor.conference | (8 Oct 2004 : Aarhus, Denmark) | |
| dc.date.issued | 2004 | |
| dc.identifier.citation | Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2004 | |
| dc.identifier.issn | 0105-8517 | |
| dc.identifier.uri | https://hdl.handle.net/1959.8/26485 | |
| dc.language.iso | en | |
| dc.publisher | University of Aaurhus | |
| dc.publisher.place | Denmark | |
| dc.rights | Copyright status unknown | |
| dc.subject | coloured petri nets | |
| dc.subject | TCP's | |
| dc.subject | connection management | |
| dc.title | Experience using coloured petri nets to model TCP's connection management procedures | |
| dc.type | Conference paper | |
| pubs.publication-status | Published | |
| ror.mmsid | 9915912882901831 |