维普中文期刊产品整合服务
7篇 您的检索式:作者名="Nicollin"
    题名 作者 年代 出处 被引量
1粤北晚泥盆世天子岭组遗迹组构及其环境解释显示文摘遗迹组构是由生物成因改造的沉积岩组构,它是物理过程和生物过程相互作用的产物。本文在广东韶关晚泥盆世天子岭组碳酸盐岩沉积中建立了4个遗迹组构,即反映局限台地或封闭海湾环境的Planolitesmontanus遗迹组构,反映台地潮下低能环境的Thalassinoides—Planolites遗迹组构,反映潮上-潮间环境的Skolithos遗迹组构和受固底底质控制的Thalassinoides遗迹组构。对遗迹化石和生物扰动构造进行阶层分析,从中识别出受固底底质控制的遗迹化石Thalassinoidessp .,这类遗迹化石常常代表层序地层学中的重要界面。齐永安 胡斌 Bruno Mistiaen Jean-Pierre Nicollin 2005煤田地质与勘探2005,33,2:4
2Symbolic model checking for real-time systems显示文摘Henzinger T A Nicollin X Sifakis J 1994Journal of Information and Computation1994,111,2:1
3Natural tannin-furanic thermosetting moulding plastics显示文摘Li Xinjun Arnaud Nicollin Antonio Pizzi 2013RSC Adv2013,3,17:1
4The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N Henzinger TA Ho PH Nicollin X Olivero A Sifakis J Yovine S 0,,01:1
5From ATP to timed graphs and hybrid system显示文摘Nicollin X Sifakis J Yovine S 1992Acta Informatica1992,30,2:1
6Symbolic model checking for real-time systems显示文摘HENZINGER T A NICOLLIN X SIFAKIS J 1994Information and Computation1994,111,2:1
7Sym- bolic model checking for real-time systems显示文摘Thomas A Henzinger Xavier Nicollin Joseph sifakis 1994Journal of Infor- mation and Computation1994,111,2:1
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费