Author:
Hillebrand Mark,Tverdyshev Sergey
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Nuseibeh, B.: Ariane 5: Who dunnit? IEEE Softw. 14, 15–16 (1997)
2. The Verisoft Consortium: The Verisoft Project (2003), http://www.verisoft.de/
3. Lecture Notes in Computer Science;J.S. Moore,2003
4. Alkassar, E., Hillebrand, M.A., Leinenbach, D.C., Schirmer, N.W., Starostin, A., Tsyban, A.: Balancing the load: Leveraging semantics stack for systems verification. JAR: Special Issue on Operating Systems Verification (to appear, 2009)
5. Lecture Notes in Computer Science;I. Dalinger,2005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献