Yazar
Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
Format:
Electronic Resources
Alıntı:
programming and programming languages -- Model synchronization management of software product families
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using
View Other Search Results
Yazar
Parisi-Presicce, Francesco. editor.
Format:
Electronic Resources
Alıntı:
-- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Package for Chemically Inspired Graph Transformation -- A Tool Environment for Managing Families of Model
Yazar
McQuillan, Ian. editor.
Format:
Electronic Resources
Alıntı:
-- Relativizations of Nonuniform Quantum Finite Automata Families -- Self-stabilizing Gellular Automata.
Yazar
Gheorghe, Marian. editor.
Format:
Electronic Resources
Alıntı:
in Membrane Systems Computations -- Families of Languages Encoded by SN P Systems -- On the Robust
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random
Yazar
Huisman, Marieke. editor.
Format:
Electronic Resources
Alıntı:
Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation
Yazar
Day, Adam. editor.
Format:
Electronic Resources
Alıntı:
Families in Reverse Mathematics -- The Vitali Covering Theorem in the Weihrauch Lattice -- Parallel and