Login / Signup

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.

Kent Inge Fagerland SimonsenLars Michael KristensenEkkart Kindler
Published in: Trans. Petri Nets Other Model. Concurr. (2016)
Keyphrases