Polytime model checking for timed probabilistic computation tree logic
- 作者Danièle Beauquier; Anatol Slissenko
- 卷第35卷
- 期第8期
- 印刷ISSN0001-5903
- 电子ISSN1432-0525
- 文件大小204.31KB
- 发表时间1998-08
- DOI10.1007/s002360050136
- 页码645-664
Das hepatozelluläre KarzinomGreten, T; Manns, M · DMW - Deutsche Medizinische Wochenschrift · 2008
MyokarditisSchultheiss, H.-P; Kühl, U · DMW - Deutsche Medizinische Wochenschrift · 2008
Die Yersiniosis in DeutschlandHein, J.; Knauff, H. · DMW - Deutsche Medizinische Wochenschrift · 1978
Herpes gestationisScherer, R.; Wolff, H. H.; Braun-Falco, O. · DMW - Deutsche Medizinische Wochenschrift · 1977
Nierentransplantation bei maligner Nephrosklerose <sup>*</sup>Altrogge, G.; Grabensee, B.; Hofmann, K.; Risler, T.; Wagner, W. · DMW - Deutsche Medizinische Wochenschrift · 1977
Pneumonie als Todesursache bei KindernSimon, C.; Lange, C.; Harms, D. · DMW - Deutsche Medizinische Wochenschrift · 1975
Diabetesdiagnostik in der SchwangerschaftHeisig, N. · DMW - Deutsche Medizinische Wochenschrift · 1971
Hämatologische Befunde bei AlkoholismusHeck, J. · DMW - Deutsche Medizinische Wochenschrift · 1971