Temporal logics for real-time system specification
- 期刊名称ACM Computing Surveys
- 作者Bellini, P.; Mattolini, R.; Nesi, P.
- 卷第32卷
- 期第1期
- 印刷ISSN0360-0300
- 文件大小227.80KB
- 发表时间2000-3-1
- DOI10.1145/349194.349197
- 页码12-42
Total synthesis of (.+-.)-isocomenePirrung, Michael C. · Journal of the American Chemical Society · 1979
Decomposition of Malonic AnhydridesPerrin, Charles L.; Flach, Agnes; Manalo, Marlon N. · Journal of the American Chemical Society · 2012
Emissive RNA AlphabetShin, Dongwon; Sinkeldam, Renatus W.; Tor, Yitzhak · Journal of the American Chemical Society · 2011
Total Synthesis of (−)-IsoschizogamineMiura, Yusuke; Hayashi, Noriyuki; Yokoshima, Satoshi; Fukuyama, Tohru · Journal of the American Chemical Society · 2012
A Concise Synthesis of (+)-ArtemisininZhu, Chunyin; Cook, Silas P. · Journal of the American Chemical Society · 2012
Janus Colloidal MatchsticksChaudhary, Kundan; Chen, Qian; Juárez, Jaime J.; Granick, Steve; Lewis, Jennifer A. · Journal of the American Chemical Society · 2012
Trifluoromethylation of α-HaloketonesNovák, Petr; Lishchynskyi, Anton; Grushin, Vladimir V. · Journal of the American Chemical Society · 2012
Spotlights on Recent <i>JACS</i> PublicationsHayashi, Shinji; Okamoto, Takayuki · Journal of the American Chemical Society · 2012