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

Publication

[ZhangJ16] A space-efficient simulation algorithm on probabilistic automata Zhang, L. and Jansen, D. N. In Inf. Comput., 249: 138-159, 2016. doi.. 
Downloads: bibURL: http://dx.doi.org/10.1016/j.ic.2016.04.002

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