[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || On-the-Fly Model Checking of Fair Non-repudiation Protocols
- 作者Namjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio
- 文件大小489.76KB
- 发表时间2007
- DOI10.1007/978-3-540-75596-8_36
- 页码511-522
Marine birds and plastic pollutionAzzarello, MY; Van Vleet, ES · Marine Ecology Progress Series · 1987
Reproduction by Fragmentation in CoralsHighsmith, RC · Marine Ecology Progress Series · 1982
Bivalve filter feeding revisitedJørgensen, CB · Marine Ecology Progress Series · 1996
Allee effects in marine systemsGascoigne, J; Lipcius, RN · Marine Ecology Progress Series · 2004
IntroductionSolan, M · Marine Ecology Progress Series · 2009
Marine ecosystems, climate and phenology: introductionSydeman, WJ; Bograd, SJ · Marine Ecology Progress Series · 2009
Safety factors and nutrient uptake by seaweedsRees, TAV · Marine Ecology Progress Series · 2003
Similarity Indices in Community Studies: Potential PitfallsBloom, SA · Marine Ecology Progress Series · 1981