Vol-546⫷ Vol-547 ⫸Vol-548
urn:nbn:de:0074-547-0


Vol-547/paper-40⫷Vol-547/paper-41⫸Vol-547/paper-42
Farah ZoubeyrAbdelkamel TariZahir Tari

Une technique de validation de protocoles basée sur une exploration avec retour arrière des automates complexes