From Real-time Logic to Timed Automata
- 期刊名称Journal of the ACM
- 作者Ferrère, Thomas; Maler, Oded; Ničković, Dejan; Pnueli, Amir
- 卷第66卷
- 期第3期
- 印刷ISSN0004-5411
- 文件大小1044.34KB
- 发表时间2019-05-23
- DOI10.1145/3286976
- 页码1-31
Rebuttals from Chow and JonesChow, W.K.; Jones, J.C.; Jones, J.C. · Journal of Fire Sciences · 1999
Proficiency testing of 25-Hydroxyvitamin D (25-OHD) assaysG.D. Carter; J.L. Berry; E. Gunter; G. Jones; J.C. Jones; H.L.J. Makin; S. Sufi; M.J. Wheeler · 2010
The OPAL vertex drift chamberJ.R. Carter; P.A. Elcombe; J.C. Hill; C.M. Roach; J.C. Armitage; R.K. Carnegie; P. Estabrooks; R. Hemingway; D. Karlen; A. McPherson; J. Pinfold; J.M. Roney; P. Routenburg; J. Waterhouse; C.K. Hargrove; D. Klem; F.G. Oakham; A.A. Carter; R.W.L. Jones; M.M.B. Lasota; S.L. Lloyd; T.W. Pritchard; T.R. Wyatt · 1990
Multi-particle excitations in the superdeformed 149Gd nucleusS. Flibotte; G. Hackman; I. Ragnarsson; Ch. Theisen; H.R. Andrews; G.C. Ball; C.W. Beausang; F.A. Beck; G. Bélier; M.A. Bentley; T. Byrski; D. Curien; G. de France; D. Disdier; G. Duchêne; B. Haas; D.S. Haslip; V.P. Janzen; P.M. Jones; B. Kharraja; J.A. Kuehner; J.C. Lisle; J.C. Merdinger; S.M. Mullins; E.S. Paul; D. Prévost; D.C. Radford; V. Rauch; J.F. Smith; J. Styczen; P.J. Twin; J.P. Vivien; J.C. Waddington; D. Ward; K. Zuber · 1995
An inter-district audit of the school entry medicalexamination in CheshireM. Elliott; J.C. Jones; R. Jones; V.G. Pritchard; B.E. Robinson · 1994
Indications and Outcomes of Intraocular Lens Exchange During a Recent 5-Year PeriodJones, Jason J.; Jones, Yian J.; Jin, George J.C. · American Journal of Ophthalmology · 2014
Critical conditions in chemically reacting systemsB.F. Gray; J.C. Jones · 1981
Inhibition of acetaldehyde cool flamesJ.C. Jones; B.F. Gray · 1983
Commercial Flame Retardancy of PolyurethanesWeil, Edward D.; Levchik, Sergei V. · Journal of Fire Sciences · 2004
Intumescent Reaction MechanismsAnderson, C. E.; Dziuk, J.; Mallow, W. A.; Buckmaster, J. · Journal of Fire Sciences · 1985
Soot From Fires: III. Soot SuppressionHirschler, M.M. · Journal of Fire Sciences · 1986
Thermal Conductivity of Intumescent CharsAnderson, C. E.; Ketchum, D. E.; Mountain, W. P. · Journal of Fire Sciences · 1988
Smoke: Test Standards, Mechanisms, SuppressantsInnes, J.D.; Cox, A.W. · Journal of Fire Sciences · 1997
25 Years of Flame Retarding PlasticsGreen, J. · Journal of Fire Sciences · 1997
Thermocouple Usage in an Irradiance ExperimentJones, J. · Journal of Fire Sciences · 2014
A Message From the EditorHartzell, G. E. · Journal of Fire Sciences · 1983