Bachir Berkane (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Ghislaine Thuau, Bachir Berkane: A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. Formal Methods in System Design 2(3): 259-276 (1993)

1 Ghislaine Thuau, Bachir Berkane: Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits 1992: 81-96

Selection of 2 from 2 records - Bachir Berkane has 1 coauthors

2		Ghislaine Thuau, Bachir Berkane: A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. Formal Methods in System Design 2(3): 259-276 (1993)
1		Ghislaine Thuau, Bachir Berkane: Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits 1992: 81-96