Toggle Main Menu Toggle Search

Open Access padlockePrints

On Compositionality and Petri Nets in Protocol Engineering

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Anisimov N, Koutny M

Editor(s): Dembiniski, P., Sredniawa, M.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 15th IFIP TC 6 WG 6.1 International Symposium on Protocol Specification, Testing and Verification (PSTV)

Year of Conference: 1995

Pages: 71-86

Publisher: Chapman & Hall

Library holdings: Search Newcastle University Library for this item

Series Title: IFIP Conference Proceedings

ISBN: 9780412716201


Share