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

  • 讨论班小结_0407
  • 讨论班小结_0324
  • Junnan Xu Passed His Master Thesis Defense
  • Xuechao Sun Passed His Master Thesis Defense
  • We co-organize LICS

Admin area

  • Log in
Proudly powered by WordPress