District de Haute-Bavière And NotDominique Méry

List of bibliographic references

Number of relevant bibliographic references: 8.

Ident.	Authors (with country if any)	Title
000011	John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne]	Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots
000348	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]	Specification and refinement of mobile systems in MTLA and mobile UML
000442	Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]	Truly on-the-fly LTL model checking
000451	A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France]	The AVISPA tool for the automated validation of internet security protocols and applications
000575	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]	Refining mobile UML state machines
000576	M. Hofmann [Allemagne] ; P. J. Scott [Canada]	Realizability models for BLL-like languages
000629	Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]	An arithmetic for non-size-increasing polynomial-time computation
000A99	Y. Mokhtari [France] ; S. Merz [Allemagne]	Animating TLA specifications

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022