[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
- 作者Namjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio
- 文件大小762.03KB
- 发表时间2007
- DOI10.1007/978-3-540-75596-8_31
- 页码441-456
The Mycobiota and Toxicity of Equine FeedsK. M. Keller; B. D. Queiroz; L. A. M. Keller; J. M. M. Ribeiro; L. R. Cavaglieri; M. L. González Pereyra; A. M. Dalcero; C. A. R. Rosa · 2007
Endothelial nitric oxide synthase in the microcirculationX. Shu; T. C. S. Keller; D. Begandt; J. T. Butcher; L. Biwer; A. S. Keller; L. Columbus; B. E. Isakson · Cellular and Molecular Life Sciences · 2015
Book ReviewsVolk, Thomas J.; Keller, Harold W.; Griffin, David H.; Tansey, Michael R.; Keller, Harold W.; Hanlin, Richard T.; Castlebury, L. A. · Mycologia · 1995
Gonadotropin-Releasing-FaktorR. Baumann; H. Kuhl; H. -D. Taubert; J. Sandow; N. G. Naber; H. G. Bohnet; J. P. Hanker; E. Keller; H. P. G. Schneider; A. Etzrodt; E. Friedrich; P. Bögershausen; E. Keller; W. Zubke; R. Göser; H. Becker; E. Friedrich; H. P. G. Schneider; H. I. Wyss; A. E. Schindle; E. Friedrich; A. Etzrodt; J. S. E. Dericks-Tan; A. Renner; R. Baumann; H. -D. Taubert; A. Campana; H. I. Wyss; G. Harrant; U. Eppenberger; P. Huber; J. P. Haner; U. Ende; H. G. Bohnet; H. P. G. Schneider; A. E. Schindler; A. Nesch; W. Zubke; R. Göser; E. Keller; D. Richter; F. Peters; M. Breckwoldt; J. L. Llauró; L. Moltz; A. Römmler; U. Schwartz; F. Bidlingmaier; J. Hammerstein · 1979
New trends in the treatment of bone metastasisEvan T. Keller; Jinlu Dai; June Escara-Wilke; Christopher L. Hall; Kathleen Ignatoski; Russell S. Taichman; Jill Keller · 2007
Bestimmung von VitaminenTh. Guthe; K. K. Nygaard; L. Espil; L. Genevois; H. Fiedler; P. Karrer; H. Keller; L. K. Wolff; A. T. Freses; K. P. Basu; M. C. Nath; M. Ott · 1939-1940
The Long-Term Sustainability of Different Item Response Theory Scaling MethodsKeller, L. A.; Keller, R. R. · Educational and Psychological Measurement · 2011
Growth and characterization of bulk InGaN films and quantum wellsKeller, S.; Keller, B. P.; Kapolnek, D.; Abare, A. C.; Masui, H.; Coldren, L. A.; Mishra, U. K.; Den Baars, S. P. · 1996
The Rise of the Academic NovelWilliams, J. J. · American Literary History · 2012
Elizabeth Bishop, Modernism, and the LeftBetsy Erkkila · American Literary History · 1996
Junk and Punk AestheticsSinda Gregory · American Literary History · 1991
Lyric in the Culture of CapitalismFrank Lentricchia · American Literary History · 1989
Skirting the Hemingway LegendJohn Raeburn · American Literary History · 1989
Interview with Maxine Hong KingstonShelley Fisher Fishkin and Maxine Hong Kingston · American Literary History · 1991
Foucault and the New HistoricismGeoffrey Galt Harpham · American Literary History · 1991
The Ethnic as “Post-”: ReadingPalumbo-Liu, David · American Literary History · 1995