[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Revisiting modal interface automata
- 作者Krka, Ivo; Medvidovic, Nenad
- 文件大小403.88KB
- 发表时间2012
- DOI10.1109/formsera.2012.6229786
- 页码30-36
The <i>v</i> <sub/>1</sub> and <i>v</i> <sub/>3</sub> bands of ND <sub/>3</sub>Snels, Marcel; Fusina, Luciano; Hollenstein, Hans; Quack, Martin · Molecular Physics · 2000
The NH and ND stretching fundamentals of 14NH2DMarcel Snels; Hans Hollenstein; Martin Quack · 2006
High resolution FTIR spectra and analysis of the ν11 fundamental band of 13C6H6Marcel Snels; Hans Hollenstein; Martin Quack · 2001
High resolution analysis of the complex symmetric CF[sub 3] stretching chromophore absorption in CF[sub 3]IHe, Yabai; Hollenstein, Hans; Quack, Martin; Richard, Erik; Snels, Marcel; Bürger, Hans · The Journal of Chemical Physics · 2002
Diode–Laser Jet Spectra and Analysis of the ν1 and ν4 Fundamentals of CCl3FMarcel Snels; Giuseppe D'Amico; Luca Piccarreta; Hans Hollenstein; Martin Quack · 2001
Excited vibrational states of benzene: High resolution FTIR spectra and analysis of some out-of-plane vibrational fundamentals of C6H5DMarcel Snels; Andreas Beil; Hans Hollenstein; Martin Quack · 1997
Mode selective tunneling dynamics observed by high resolution spectroscopy of the bending fundamentals of [sup 14]NH[sub 2]D and [sup 14]ND[sub 2]HSnels, Marcel; Hollenstein, Hans; Quack, Martin · The Journal of Chemical Physics · 2006
Steered transition path samplingGuttenberg, Nicholas; Dinner, Aaron R.; Weare, Jonathan · The Journal of Chemical Physics · 2012
Mixing normal and anomalous diffusionGeyer, Tihamér · The Journal of Chemical Physics · 2012
Perspective: Supercooled liquids and glassesEdiger, M. D.; Harrowell, Peter · The Journal of Chemical Physics · 2012
Microwave Absorption in Compressed CO2Ho, W. · The Journal of Chemical Physics · 1966
Perspective: Nonadiabatic dynamics theoryTully, John C. · The Journal of Chemical Physics · 2012
Thermodynamics of Crystals and MeltingBorn, Max · The Journal of Chemical Physics · 1939
Magnetic Equivalence of Nuclear SpinsMusher, J. I. · The Journal of Chemical Physics · 1967
Equation of State for Hard SpheresThiele, Everett · The Journal of Chemical Physics · 1963