![](/img/cover-not-exists.png)
[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 08) - Annaba (Algeria) (30 June–2 July 2008)] AIP Conference Proceedings - FOCOVE: Formal Concurrency Verification Environment for Complex Systems
Saïdouni, Djamel Eddine, Benamira, Adel, Belala, Nabil, Arfi, Farid, Arioui, Hichem, Merzouki, Rochdi, Abbassi, Hadj AhmedVolume:
1019
Year:
2008
Language:
english
DOI:
10.1063/1.2953008
File:
PDF, 658 KB
english, 2008