- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1752-0509
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Qualitative dynamics semantics for SBGN process description ; volume:10 ; number:1 ; day:16 ; month:6 ; year:2016 ; pages:1-24 ; date:12.2016
BMC systems biology ; 10, Heft 1 (16.6.2016), 1-24, 12.2016
- Urheber
-
Rougny, Adrien
- Beteiligte Personen und Organisationen
-
Froidevaux, Christine
Calzone, Laurence
Paulevé, Loïc
SpringerLink (Online service)
- DOI
-
10.1186/s12918-016-0285-0
- URN
-
urn:nbn:de:1111-2016061722186
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:49 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Rougny, Adrien
- Froidevaux, Christine
- Calzone, Laurence
- Paulevé, Loïc
- SpringerLink (Online service)
Ähnliche Objekte (12)
Process theory: semantics, specification and verification
Complete process semantics for inhibitor nets
Infinitely Valued Gödel Semantics for Expressive Description Logics
Logically timed Chu process semantics for statecharts
Semantics-aware event data transformation for process mining
Process semantics of Petri nets over partial algebra
GRAPES language description : syntax, semantics, and grammar of GRAPES-86
Closed-World Semantics for Query Answering in Temporal Description Logics
Dynamic Access Control to Semantics-Aware Streamed Process Logs
Reactive bisimulation semantics for a process algebra with timeouts
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics
Semantics
Process theory: semantics, specification and verification
Complete process semantics for inhibitor nets
Infinitely Valued Gödel Semantics for Expressive Description Logics
Logically timed Chu process semantics for statecharts
Semantics-aware event data transformation for process mining
Process semantics of Petri nets over partial algebra
GRAPES language description : syntax, semantics, and grammar of GRAPES-86
Closed-World Semantics for Query Answering in Temporal Description Logics
Dynamic Access Control to Semantics-Aware Streamed Process Logs
Reactive bisimulation semantics for a process algebra with timeouts
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics
Semantics
Process theory: semantics, specification and verification
Complete process semantics for inhibitor nets
Infinitely Valued Gödel Semantics for Expressive Description Logics
Logically timed Chu process semantics for statecharts
Semantics-aware event data transformation for process mining
Process semantics of Petri nets over partial algebra
GRAPES language description : syntax, semantics, and grammar of GRAPES-86
Closed-World Semantics for Query Answering in Temporal Description Logics
Dynamic Access Control to Semantics-Aware Streamed Process Logs
Reactive bisimulation semantics for a process algebra with timeouts
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics