Grand Coulee: Harnessing a Dreamby Paul C. Pitzer
- 期刊名称Montana: The Magazine of Western History
- 作者Review by: Mark W. T. Harvey
- 卷第46卷
- 期第4期
- 印刷ISSN0026-9891
- 文件大小198.96KB
- 发表时间1996
- DOI10.2307/4519939
Hierarchical Reachability Graph Generation for Petri NetsPeter Buchholz; Peter Kemper · 2002
On generating a hierarchy for GSPN analysisBuchholz, Peter; Kemper, Peter · ACM SIGMETRICS Performance Evaluation Review · 1998
Model Checking for a Class of Weighted AutomataPeter Buchholz; Peter Kemper · 2010
Ability to Obtain Medical Care for the UninsuredCunningham, Peter J.; Kemper, Peter · JAMA · 1998
Model-checking large structured Markov chainsPeter Buchholz; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper · 2003
Multi-class Markovian arrival processes and their parameter fittingPeter Buchholz; Peter Kemper; Jan Kriege · 2010
Efficient Computation and Representation of Large Reachability Sets for Composed AutomataPeter Buchholz; Peter Kemper · Discrete Event Dynamic Systems · 2002
Postprandial FGF19-induced phosphorylation by Src is critical for FXR function in bile acid homeostasisByun, Sangwon; Kim, Dong-Hyun; Ryerson, Daniel; Kim, Young-Chae; Sun, Hao; Kong, Bo; Yau, Peter; Guo, Grace; Xu, H. Eric; Kemper, Byron; Kemper, Jongsook Kim · Nature Communications · 2018