Life history of the silvertip sharkCarcharhinus albimarginatusfrom Papua New Guinea
- 期刊名称Coral Reefs
- 作者Smart, Jonathan J.; Chin, Andrew; Baje, Leontine; Tobin, Andrew J.; Simpfendorfer, Colin A.; White, William T.
- 卷第36卷
- 期第2期
- 印刷ISSN0722-4028
- 电子ISSN1432-0975
- 文件大小793.52KB
- 发表时间2017-6-7
- DOI10.1007/s00338-016-1533-x
- 页码577-588
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