Polarized(^{varvec{3}})He Target and Final State Interactions in SiDIS
- 期刊名称Few-Body Systems
- 作者Del Dotto, Alessio; Kaptari, Leonid; Pace, Emanuele; Salmè, Giovanni; Scopetta, Sergio
- 卷第58卷
- 期第1期
- 印刷ISSN0177-7963
- 电子ISSN1432-5411
- 文件大小685.10KB
- 发表时间2017-1
- DOI10.1007/s00601-016-1187-9
Specifying and verifying requirements of real-time systemsHansen, Kirsten M.; Ravn, Anders P.; Rischel, Hans · ACM SIGSOFT Software Engineering Notes · 1991
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Hybrid system modeling and autonomous control systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || A dynamical simulation facility for hybrid systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Models for hybrid systems: Automata, topologies, controllability, observabilityGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || An approach to the description and analysis of hybrid systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || Synchronizing clocked transition systemsRavn, Anders P.; Rischel, Hans · 1998
[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || The ICOS synthesis environmentRavn, Anders P.; Rischel, Hans · 1998
[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || Predictability in critical systemsRavn, Anders P.; Rischel, Hans · 1998