Probabilistic Model Checking Team @ ISCAS

Skip to content
  • Home
  • The Team
    • Lijun Zhang
    • David N. Jansen
    • Andrea Turrini
    • Yong Li (李勇)
    • Students
    • Visitors
  • Students
  • Tools
    • ePMC
    • ROLL
    • IscasMC
      • Manual
      • LTL Pattern Formulas
      • Case Studies
  • Publications
  • Events
    • Group activities
  • Contact
  • 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

  • We co-organize LICS
  • JCST Special Section on Software Systems 2020
  • 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”

Admin area

  • Log in
Proudly powered by WordPress