Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
3 results
|
|
sorted by
|
|
Applying of Smart Technologies: Evaluation of Effectiveness4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.193-201, ⟨10.1007/978-3-642-28038-2_15⟩
Conference papers
hal-01527380v1
|
||
|
Uncountable Realtime Probabilistic Classes19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.102-113, ⟨10.1007/978-3-319-60252-3_8⟩
Conference papers
hal-01657007v1
|
||
|
Error-Free Affine, Unitary, and Probabilistic OBDDs20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.175-187, ⟨10.1007/978-3-319-94631-3_15⟩
Conference papers
hal-01905639v1
|