Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using
Yazar
Parisi-Presicce, Francesco. editor.
Format:
Electronic Resources
Alıntı:
-- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to
View Other Search Results
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Package for Chemically Inspired Graph Transformation -- A Tool Environment for Managing Families of Model
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
Yazar
McQuillan, Ian. editor.
Format:
Electronic Resources
Alıntı:
-- Relativizations of Nonuniform Quantum Finite Automata Families -- Self-stabilizing Gellular Automata.
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random
Yazar
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
Format:
Electronic Resources
Alıntı:
-- On families of limit S-adic words -- Independent systems of word equations: from Ehrenfeucht to
Arama Sonuçlarını Sınırlandır
Daraltılmış: