Hocine El-Habib Daho

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Hocine El-Habib Daho, Djilali Benhamamouch: Formal Verification of ASM Models Using TLA⁺. ABZ 2008: 356

	2008
1		Hocine El-Habib Daho, Djilali Benhamamouch: Formal Verification of ASM Models Using TLA⁺. ABZ 2008: 356

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page