Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

Publication

[Turrini22] An Introduction to Quantum Model Checking Turrini, A. In Applied Sciences, 12, 2022. doi.. 
Downloads: bibURL: https://www.mdpi.com/2076-3417/12/4/2016

Admin area

  • Log in
Proudly powered by WordPress