Adult Soft Tissue Ewing Sarcoma or Primitive Neuroectodermal Tumors
- 期刊名称Archives of Surgery
- 作者Martin II, Robert C. G.
- 卷第138卷
- 期第3期
- 印刷ISSN0004-0010
- 文件大小91.60KB
- 发表时间2003-03-01
- DOI10.1001/archsurg.138.3.281
Lecture Notes in Computer Science 89 Computer Aided Design ModellingSystems Engineering · Springer-Verlag · 1980
[Lecture Notes in Computer Science] Computer Aided Verification Volume 4144 ||Ball, Thomas; Jones, Robert B. · 2006
[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||Bouajjani, Ahmed; Maler, Oded · 2009
[Lecture Notes in Computer Science] Computer Aided Verification Volume 8559 ||Biere, Armin; Bloem, Roderick · 2014
[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 ||Damm, Werner; Hermanns, Holger · 2007
[Lecture Notes in Computer Science] Computer Aided Verification Volume 5123 ||Gupta, Aarti; Malik, Sharad · 2008
[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 ||Sharygina, Natasha; Veith, Helmut · 2013
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||Alur, Rajeev; Peled, Doron A. · 2004
PrefaceGopalakrishnan, Ganesh L.; Qadeer, Shaz · Formal Methods in System Design · 2012
[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || PRISM 4.0: Verification of Probabilistic Real-Time SystemsGopalakrishnan, Ganesh; Qadeer, Shaz · 2011
[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Using Coverage to Deploy Formal Verification in a Simulation WorldGopalakrishnan, Ganesh; Qadeer, Shaz · 2011
[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Bug-Assist: Assisting Fault Localization in ANSI-C ProgramsGopalakrishnan, Ganesh; Qadeer, Shaz · 2011
[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoPGopalakrishnan, Ganesh; Qadeer, Shaz · 2011
[ACM Press the 42nd ACM technical symposium - Dallas, TX, USA (2011.03.09-2011.03.12)] Proceedings of the 42nd ACM technical symposium on Computer science education - SIGCSE '11 - Practical parallel and concurrent programmingSadowski, Caitlin; Ball, Thomas; Bishop, Judith; Burckhardt, Sebastian; Gopalakrishnan, Ganesh; Mayo, Joseph; Musuvathi, Madanlal; Qadeer, Shaz; Toub, Stephen · 2011