Optimal simulation of self-verifying aut
β
Galina JirΓ‘skovΓ‘; Giovanni Pighizzini
π
Article
π
2011
π
Elsevier Science
π
English
β 332 KB