Alle Veröffentlichungen

Details for neumann_2009

Title: Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs
Booktitle: Third International Conference on Tests And Proofs (TAP)
Written by: Rebekka Neumann, Michael Thies, Uwe Kastens:
Volume: Number: 630
Chapter:
Publisher:
Series: ETH Technical Report
Address:
ISBN:
Organization:
Institution:
ISSN:
File:

Note:

Abstract:

Eintrag als Bibtex exportieren

Impressum | Webmaster | Letzte Änderungen am : 16.10.2013