Proceedings of the $3rd$ Workshop on Parallel and Distributed Methods for Verification
Title | Proceedings of the $3rd$ Workshop on Parallel and Distributed Methods for Verification |
Publication Type | Conference Proceedings |
Year of Publication | 2005 |
Editor | Brim, L, Leucker, M |
Conference Name | Electronic Notes in Computer Science |
Volume | 128/3 |
Publisher | Elsevier Science Publishers |
Bibtex:
@proceedings {BrimLeucker05, title = {Proceedings of the $3rd$ Workshop on Parallel and Distributed Methods for Verification}, journal = {Electronic Notes in Computer Science}, volume = {128/3}, year = {2005}, publisher = {Elsevier Science Publishers}, editor = {Lubos Brim and Martin Leucker} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact