- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph ; day:3 ; month:2 ; year:2018 ; pages:1-33
Acta informatica ; (3.2.2018), 1-33
- Creator
-
Ebrahimi, Masoud
- Contributor
-
Sotudeh, Gholamreza
Movaghar, Ali
SpringerLink (Online service)
- DOI
-
10.1007/s00236-018-0311-3
- URN
-
urn:nbn:de:1111-2018041229701
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:03 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ebrahimi, Masoud
- Sotudeh, Gholamreza
- Movaghar, Ali
- SpringerLink (Online service)
Other Objects (12)
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model checking CTL is almost always inherently sequential
Fuzzy sets, fuzzy logic, fuzzy methods : with applications
Fuzzy-Logik und Fuzzy-Control
Fuzzy-Unabhängigkeitssysteme und Fuzzy-Matroide
Fuzzy Modeling and Fuzzy Control
Fuzzy sets and fuzzy logic
FUZZY
FUZZY
An Application of Fuzzy Symbolic Time-Series for Energy Demand Forecasting
Symbolic Causality Checking Using SAT-Solving
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model checking CTL is almost always inherently sequential
Fuzzy sets, fuzzy logic, fuzzy methods : with applications
Fuzzy-Logik und Fuzzy-Control
Fuzzy-Unabhängigkeitssysteme und Fuzzy-Matroide
Fuzzy Modeling and Fuzzy Control
Fuzzy sets and fuzzy logic
FUZZY
FUZZY
An Application of Fuzzy Symbolic Time-Series for Energy Demand Forecasting
Symbolic Causality Checking Using SAT-Solving
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model checking CTL is almost always inherently sequential
Fuzzy sets, fuzzy logic, fuzzy methods : with applications
Fuzzy-Logik und Fuzzy-Control
Fuzzy-Unabhängigkeitssysteme und Fuzzy-Matroide
Fuzzy Modeling and Fuzzy Control
Fuzzy sets and fuzzy logic
FUZZY
FUZZY
An Application of Fuzzy Symbolic Time-Series for Energy Demand Forecasting