Augmented finite transition systems as abstractions for control synthesis
- 期刊名称Discrete Event Dynamic Systems
- 作者Petter Nilsson,Necmiye Ozay,Jun Liu
- 卷第27卷
- 期第2期
- 印刷ISSN0924-6703
- 电子ISSN1573-7594
- 文件大小1337.50KB
- 发表时间2017-6
- DOI10.1007/s10626-017-0243-z
- 页码301-340
Eosinophilic Esophagitis: Current TreatmentRedd, Matthew; Schey, Ron · Digestive Diseases and Sciences · 2013
Hilar Cholangiocarcinoma: No Longer HopelessRosen, Charles B. · Digestive Diseases and Sciences · 2014
Radiating Disparity in IBDFlasar, Mark; Patil, Seema · Digestive Diseases and Sciences · 2014
Acknowledgment of 2013 ReviewersBull, Larry · Digestive Diseases and Sciences · 2014
An Illness Without Geographic BoundariesPrice, Leslie; Glass, Joseph; Gavin, Michael · Digestive Diseases and Sciences · 2014
Bringing the Bacon HomeKaunitz, Jonathan D. · Digestive Diseases and Sciences · 2013
Meditations on Bowel PrepsBelsey, Jonathan · Digestive Diseases and Sciences · 2013
GRG Update: DDW 2013Grady, William M. · Digestive Diseases and Sciences · 2013