Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- counter machines 3 Treffer
- reachability 3 Treffer
- [info.info-dc]computer science [cs]/distributed 2 Treffer
- alignments 2 Treffer
-
19 weitere Werte:
- and cluster computing [cs.dc] 2 Treffer
- asynchronous automata 2 Treffer
- cascade product 2 Treffer
- fitness 2 Treffer
- generalization 2 Treffer
- parallel 2 Treffer
- precision 2 Treffer
- process mining 2 Treffer
- quality metrics 2 Treffer
- underapproximation 2 Treffer
- wreath product 2 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 1 Treffer
- [info]computer science [cs] 1 Treffer
- concurrency 1 Treffer
- diagnosability 1 Treffer
- fault diagnosis 1 Treffer
- parallel analysis 1 Treffer
- petri nets 1 Treffer
- verification 1 Treffer
Verlag
Sprache
Geographischer Bezug
14 Treffer
-
In: Formal Modeling and Analysis of Timed Systems ; https://inria.hal.science/hal-03136066 ; Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.215 - 230, ⟨10.1007/978-3-030-57628-8_13⟩, 2020KonferenzZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR 2020) ; 31st International Conference on Concurrency Theory ; https://hal.science/hal-02905961 ; 31st International Conference on Concurrency Theory, Sep 2020, Vienna, Austria. pp.19:1 -19: 17, ⟨10.4230/LIPIcs.CONCUR.2020.19⟩, 2020Online KonferenzZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR 2020) ; https://hal.science/hal-02900813 ; 31st International Conference on Concurrency Theory (CONCUR 2020), Sep 2020, Vienna, Austria, 2020Online KonferenzZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR 2020) ; 31st International Conference on Concurrency Theory ; https://hal.archives-ouvertes.fr/hal-02905961 ; 31st International Conference on Concurrency Theory, Sep 2020, Vienna, Austria. pp.19:1 -19: 17, ⟨10.4230/LIPIcs.CONCUR.2020.19⟩, 2020Online KonferenzZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR 2020) ; https://hal.archives-ouvertes.fr/hal-02900813 ; 31st International Conference on Concurrency Theory (CONCUR 2020), Sep 2020, Vienna, Austria, 2020Online KonferenzZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR 2020) ; https://hal.science/hal-02900813 ; 31st International Conference on Concurrency Theory (CONCUR 2020), Sep 2020, Vienna, Austria, 2020Online KonferenzZugriff:
-
In: BPI 2019 - 15th International Workshop on Business Process Intelligence ; https://inria.hal.science/hal-02419980 ; BPI 2019 - 15th International Workshop on Business Process Intelligence, Sep 2019, Wien, Austria, 2019Online KonferenzZugriff:
-
In: BPI 2019 - 15th International Workshop on Business Process Intelligence ; https://hal.inria.fr/hal-02419980 ; BPI 2019 - 15th International Workshop on Business Process Intelligence, Sep 2019, Wien, Austria, 2019Online KonferenzZugriff:
-
In: EMISA'16 - 7th International Workshop on Enterprise Modelling and Information Systems Architectures ; https://hal.science/hal-01406813 ; EMISA'16 - 7th International Workshop on Enterprise Modelling and Information Systems Architectures , Oct 2016, Vienna, Austria, 2016Online KonferenzZugriff:
-
In: EMISA'16 - 7th International Workshop on Enterprise Modelling and Information Systems Architectures ; https://hal.archives-ouvertes.fr/hal-01406813 ; EMISA'16 - 7th International Workshop on Enterprise Modelling and Information Systems Architectures , Oct 2016, Vienna, Austria, 2016Online KonferenzZugriff:
-
In: CSL-LICS '14 ; https://hal.archives-ouvertes.fr/hal-01006125 ; CSL-LICS '14, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603118⟩, 2014Online KonferenzZugriff:
-
In: Workshop on Principles of Diagnosis ; https://hal.inria.fr/hal-00915478 ; Workshop on Principles of Diagnosis, Sep 2014, Graz, Austria. 2013, 2014Online KonferenzZugriff:
-
In: Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14) ; https://hal.archives-ouvertes.fr/hal-00872807 ; Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14), Jul 2014, Vienna, Austria, 2014Online KonferenzZugriff:
-
In: CSL-LICS '14 ; https://hal.science/hal-01006125 ; CSL-LICS '14, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603118⟩, 2014Online KonferenzZugriff: