Login / Signup

Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.

Pablo GruerVincent HilaireAbder Koukam
Published in: FASE (2000)
Keyphrases