Search alternatives:
static series » static queries, static memories, static sites
status series » status services, status serious, status strips
eatcs series » aws series, atlas series, sales series
Cover Image
Read Now

1
by Jensen, Kurt
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... Hierarchical Coloured Petri Nets -- 4 Dynamic and Static Properties of Coloured Petri Nets -- 5 Formal Analysis...”
Cover Image
Read Now

2
by Nait Abdallah, Areski
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- 4.6 A Geometric View of Reasoning with Partial Information -- 4.6.1 Static Logic Systems -- 4.6.2...”
Cover Image
Read Now

3
by Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, Hermann, Frank
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... and Model Integration -- Analysis of Model Transformations -- Model Synchronisation -- Modelling and Static...”
Cover Image
Read Now

4
by Jensen, Kurt
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Hierarchical Coloured Petri Nets -- 4 Dynamic and Static Properties of Coloured Petri Nets -- 5 Formal Analysis...”