LIP6 CNRS Sorbonne Université
Direct Link LIP6 » بـحــث » إصدارات » فصـول في كـتب
كتـب
إصدار كـتب
مـنشـورات في مـجلات
فصـول في كـتب
منشورات
مـنـشـورات أخـرى
تراخيص
مـذكرات
الوحدات الحالية : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
الفـرق السـابـقــة : Whisper
إصدارات MoVe201620172018201920202021Total
كتـب1000124
إصدار كـتب23230111
مـنشـورات في مـجلات108558238
فصـول في كـتب1112005
منشورات1722181712187
تراخيص2101004
مـذكرات3003107
LIP6
  • F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC’2017 - The Seventh Model Checking Contest”, chapter in Transactions on Petri Nets and Other Models of Concurrency XIII, vol. 11090, Lecture Notes in Computer Science, pp. 181-209, (Springer) [Kordon 2018c]
 Mentions légales
| خـريـطـة المـوقـع