Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1055852
Page :
sorted by
Image document

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes

 Jannik Hüls , Anne Remke
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.148-166, ⟨10.1007/978-3-030-21759-4_9⟩
Conference papers hal-02313740v1
Image document

Distributed Applications and Interoperable Systems

 Anne Remke , Valerio Schiavoni
Springer International Publishing, LNCS-12135, 2020, Lecture Notes in Computer Science, 978-3-030-50322-2. ⟨10.1007/978-3-030-50323-9⟩
Books hal-03223250v1
Page :