Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

Imagen
Descripción
Autoría	autor: Ekkart Kindler
Fecha de publicación	2016
Idioma	inglés
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Private domain
¿Datos faltantes/errados?	Editar ítem de Wikidata