Current studentsExisting staffContact us
 

A coloured petri net approach to protocol verification

Date

2004

Authors

Billington, J.
Gallasch, G.E.
Han, B.

Editors

Advisors

Journal Title

Journal ISSN

Volume Title

Type:

Conference paper

Citation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004

Statement of Responsibility

Conference Name

proceeings of the 26th Australasian Computer Science Conference, Adelaide, Australia

Abstract

School/Discipline

Dissertation Note

Provenance

Description

Access Status

Rights

License

Grant ID

Published Version

Call number

Persistent link to this record

https://hdl.handle.net/1959.8/132587