Fort Orange Court Minutes, 1652–1660by Charles T. Gehring
- 期刊名称New York History
- 作者Review by: Oliver A. Rink
- 卷第72卷
- 期第4期
- 印刷ISSN0146-437X
- 文件大小334.85KB
- 发表时间1991-10
- DOI10.2307/23175164
- 页码444-446
[IEEE 2014 Second International Symposium on Computing and Networking (CANDAR) - Shizuoka, Japan (2014.12.10-2014.12.12)] 2014 Second International Symposium on Computing and Networking - Using Checkpointing and Virtualization for Fault InjectionArtho, Cyrille; Hagiya, Masami; Leungwattanakit, Watcharin; Platon, Eric; Potter, Richard; Suzaki, Kuniyasu; Tanabe, Yoshinori; Weitl, Franz; Yamamoto, Mitsuharu · 2014
[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Software model checking for distributed systems with selector-based, non-blocking communicationArtho, Cyrille; Hagiya, Masami; Potter, Richard; Tanabe, Yoshinori; Weitl, Franz; Yamamoto, Mitsuharu · 2013