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

  • Ismaila Abdullahi

    Traethawd ymchwil myfyriwr: Traethawd ymchwil doethurol

    Dyddiad Dyfarnu23 Meh 2018
    Iaith wreiddiolSaesneg
    GoruchwyliwrJanusz Kulon (Goruchwylydd) & Berndt Muller (Goruchwylydd)

    Dyfynnu hyn

    '