Contemporary concepts in the evaluation and management of male infertility
- 期刊名称Nature Reviews Urology
- 作者Hwang, Kathleen; Walters, R. Chanc; Lipshultz, Larry I.
- 卷第8卷
- 期第2期
- 印刷ISSN1759-4812
- 电子ISSN1759-4820
- 文件大小218.98KB
- 发表时间2011-2
- DOI10.1038/nrurol.2010.230
- 页码86-94
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
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 ||Brinksma, Ed; Larsen, Kim Guldstrand · 2002
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Infinite Games and VerificationBrinksma, Ed; Larsen, Kim Guldstrand · 2002
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Deciding Separation Formulas with SATBrinksma, Ed; Larsen, Kim Guldstrand · 2002
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Liveness with (0,1, ∞)- Counter AbstractionBrinksma, Ed; Larsen, Kim Guldstrand · 2002
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Interface Compatibility Checking for Software ModulesBrinksma, Ed; Larsen, Kim Guldstrand · 2002
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Applying SAT Methods in Unbounded Symbolic Model CheckingBrinksma, Ed; Larsen, Kim Guldstrand · 2002
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || NuSMV 2: An OpenSource Tool for Symbolic Model CheckingBrinksma, Ed; Larsen, Kim Guldstrand · 2002