Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
authFullName_s : Dirk Beyer
Page :
sorted by
Image document

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection

 Dirk Beyer , Stefan Löwe , Philipp Wendler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.228-243, ⟨10.1007/978-3-319-19195-9_15⟩
Conference papers hal-01767324v1

Formal Techniques for Distributed Systems

 Dirk Beyer , Michele Boreale
Springer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books hal-01515249v1
Page :