Automated Verication of Object Petri Nets based on Transformation, Unfoldings and SAT Solving

  • Ismaila Jihad Abdullahi

    Traethawd ymchwil myfyriwr: Traethawd ymchwil doethurol

    Dyddiad Dyfarnu2018
    Iaith wreiddiolSaesneg

    Dyfynnu hyn

    '