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

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

  • 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
  • IscasMC summer school

Admin area

  • Log in
Proudly powered by WordPress