Model-checking large structured Markov chains
- 作者Peter Buchholz; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper
- 卷第56卷
- 印刷ISSN1567-8326
- 文件大小367.96KB
- 发表时间2003
- DOI10.1016/s1567-8326(02)00067-x
- 页码69-97
同期刊推荐
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2012
Table of ContentsRegulatory Toxicology and Pharmacology · 2012
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2012
Table of ContentsRegulatory Toxicology and Pharmacology · 2012
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2012
Table of ContentsRegulatory Toxicology and Pharmacology · 2012
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2013
Table of ContentsRegulatory Toxicology and Pharmacology · 2013