Electronic proceedings in theoretical computer science EPTCS
Gespeichert in:
Titel: | Electronic proceedings in theoretical computer science: EPTCS |
---|---|
Erscheinungsverlauf: | 1.2008 - |
veröffentlicht: |
Sydney
NICTA
2008-
|
Schlagwörter: | |
Beschreibung: | Gesehen am 17.01.2017 |
ISSN: |
2075-2180
|
Format: | Elektronische Schriftenreihe Monographische Schriftenreihe |
Sprache: | Englisch |
Ergebnisse weiter eingrenzen
-
1
-
2
-
3
-
4
-
5
Modeling ℝ³ needle steering in Uppaal (2022)
Veröffentlicht in Electronic proceedings in theoretical computer science (2022)
In Bestand: Electronic proceedings in theoretical computer science -
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
Proceedings, 18th Refinement Workshop: Oxford, UK, 18th July 2018 (2018)
veröffentlicht 2018
In Bestand: Electronic proceedings in theoretical computer science