dpCTL Model Checker

User Tools

Site Tools

Trace:
contact

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
contact [2020/11/17 01:17] – external edit 127.0.0.1contact [2020/11/19 00:36] (current) – conan
Line 9: Line 9:
   * [[http://iscasmc.ios.ac.cn/?page_id=1211|Depeng Liu]] (Institute of Software, CAS)   * [[http://iscasmc.ios.ac.cn/?page_id=1211|Depeng Liu]] (Institute of Software, CAS)
  
-Following people are also involved in the ROLL project:+Following people are also involved in the dpCTL project:
  
  
contact.txt · Last modified: 2020/11/19 00:36 by conan
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki