Special section on coloured Petri nets

Gespeichert in:
Autor*in:

Jensen, Kurt [verfasserIn]

Format:

Artikel

Sprache:

Englisch

Erschienen:

2007

Schlagwörter:

State Space

Modelling Language

Transmission Control Protocol

Concurrent System

State Space Method

Anmerkung:

© Springer-Verlag 2007

Übergeordnetes Werk:

Enthalten in: International journal on software tools for technology transfer - Springer-Verlag, 1997, 9(2007), 3-4 vom: 24. Mai, Seite 209-212

Übergeordnetes Werk:

volume:9 ; year:2007 ; number:3-4 ; day:24 ; month:05 ; pages:209-212

Links:

Volltext

DOI / URN:

10.1007/s10009-007-0039-9

Katalog-ID:

OLC2051501912

Nicht das Richtige dabei?

Schreiben Sie uns!