Probabilistic Model Checking Team @ ISCAS

Skip to content
  • Home
  • The Team
    • Lijun Zhang
    • Ernst Moritz Hahn
    • Andrea Turrini
    • Students
    • Visitors
  • Students
  • IscasMC
    • Manual
    • LTL Pattern Formulas
    • Case Studies
  • Publications
  • Contact
  • Group activities

Andrea gets the CAS fellowship

Andrea has been granted with the CAS fellowship for young international scientists.

This entry was posted in Grant on November 28, 2014 by andrea.

Post navigation

← How to cite the IscasMC tool T. Neele joins us for an intership →

IscasMC Web Access

Username:
Password:
Username(*):
Password(*):
Repeat Password(*):
Email Address(*):
First Name:
Last Name:

Recent Posts

  • Prof. Zhang was invited to give a lecture on SETSS2018
  • SETTA’17 best paper award
  • ePMC is publicly available
  • R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF
  • A. Hartmanns visits us

Admin area

  • Log in
Proudly powered by WordPress