Filter your results
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Formal Verification of Service Level Agreements Through Distributed Monitoring4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers
hal-01757576v1
|
||
|
|
Defining Context-Free Power Series Coalgebraically11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers
hal-01539885v1
|
||
|
|
Theoretical Computer ScienceSpringer, LNCS-7604, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-33475-7⟩
Books
hal-01556209v1
|