Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
hal_authIdPerson_i : 1003772
Page :
sorted by
Image document

Adaptable Transition Systems

 Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers hal-01485980v1

Formal Techniques for Distributed Systems

 Roberto Bruni , Juergen Dingel
Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
Books hal-01583312v1
Page :