Verena Wolf and International Conference - Free people check

(1 - 6 from 9

)

Computer Aided Verification: 23rd International Conference, CAV

books.google.es

Aleksandr Andreychenko, Linar Mikeev, David Spieler, and Verena Wolf Saarland University, Saarbr ̈ucken, Germany Abstract. We propose a numerical ...

CONCUR Concurrency Theory: 19th International Conference,...

books.google.de

... Muck van Weerdenburg Ou Wei Gera Weiss Elke Wilkeit Glynn Winskel Verena Wolf James Worrell Jaap van der Woude Shoji Yuen Gianluigi Zavattaro Lijun ...

Computer Aided Verification: 20th International Conference, CAV

books.google.com.tr

... Wahl Ou Wei Georg Weissenbacher Bernd Westphal Thomas Wies Christoph M. Wintersteiger Verena Wolf Jin Yang Yu Yang Greta Yorsh X Organization.

Coordination Models and Languages: 8th International Conference

books.google.de

This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna,...

All web results to the name "Verena Wolf"

8th International Conference on the Quantitative Evaluation of...

www.qest.org

8th International Conference on Quantitative Evaluation of SysTems (QEST) Publicity Chair: Verena Wolf (Saarland University) General Chair: Joost-Pieter Katoen ...