Ghislaine Thuau

	1993
4		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
3		Ghislaine Thuau, Bachir Berkane: Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits 1992: 81-96
	1988
2		Ghislaine Thuau, Gabriele Saucier: Optimized Layout of MOS Cells. IEEE Trans. Computers 37(1): 79-87 (1988)
	1985
1		Gabriele Saucier, Ghislaine Thuau: Systematic and optimized layout of MOS cells. DAC 1985: 53-61

Coauthor Index

1	Bachir Berkane	[3] [4]
2	Gabriele Saucier	[1] [2]

Colors in the list of coauthors