Bachir Berkane

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

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)

1992

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

	1993
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)
	1992
1		Ghislaine Thuau, Bachir Berkane: Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits 1992: 81-96

Coauthor Index