![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 2 | Volkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26(8): 702-712 (2000) | |
| 1 | Volkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods 1999: 718-737 |
Selection of 2 from 5 records - Georg Walter has 6 coauthors
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)