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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Institut für Angewandte Informatik und Formale Beschreibungsverfahren [Karlsruhe]
labStructName_s : Laboratoire d'Informatique de Grenoble
Image document

Self-Organised Routing for Road Networks

Holger Prothmann , Sven Tomforde , Johannes Lyda , Jürgen Branke , Jörg Hähner , et al.
6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.48-59, ⟨10.1007/978-3-642-28583-7_5⟩
Conference papers hal-01527528v1
Image document

A Reversible Abstract Machine and Its Space Overhead

Michael Lienhardt , Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers hal-00909384v1