Probabilistic Model Checking Team @ ISCAS

Skip to content
  • Home
  • The Team
    • Lijun Zhang
    • David N. Jansen
    • Andrea Turrini
    • Yong Li (李勇)
    • Students
    • Visitors
  • Students
  • Tools/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

  • Junnan Xu Passed His Master Thesis Defense
  • Xuechao Sun Passed His Master Thesis Defense
  • We co-organize LICS
  • JCST Special Section on Software Systems 2020
  • SKLCS seminar on“Automata for Profit and Pleasure”

Admin area

  • Log in
Proudly powered by WordPress