Probabilistic Model Checking Team @ ISCAS

Skip to content
  • Home
  • The Team
    • Lijun Zhang
    • Ernst Moritz Hahn
    • David N. Jansen
    • Andrea Turrini
    • Students
    • Visitors
  • Students
  • Tools
    • ePMC
    • ROLL
    • IscasMC
      • Manual
      • LTL Pattern Formulas
      • Case Studies
  • Publications
  • Contact
  • Group activities
  • Sino-Europe institute

T. van Dijk and S. Junges visit us

Tom van Dijk, from U.Twente, and Sebastian Junges, from RWTH Aachen, attend SETTA 2015 in Nanjing from Nov. 02 to Nov. 05, 2015; then they visit us until Nov. 15.

This entry was posted in Visit on November 15, 2015 by andrea.

Post navigation

← H. Hermanns visits our group Y. Feng visits us →

IscasMC Web Access

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

Recent Posts

  • SKLCS seminar on“Automata for Profit and Pleasure”
  • SKLCS seminar on“Conventional Suggestions to the Automata-Theoretic Community”
  • SKLCS seminar on“Program Verification: a 50-Year History”
  • Yong Li Defended His PhD Thesis
  • Prof. Zhang was invited to give a lecture on SETSS 2018

Admin area

  • Log in
Proudly powered by WordPress