Hana De-Leon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1993

2 Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. Formal Methods in System Design 2(1): 7-43 (1993)

1992

1 Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. CAV 1992: 2-15

	1993
2		Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. Formal Methods in System Design 2(1): 7-43 (1993)
	1992
1		Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. CAV 1992: 2-15

Coauthor Index

1 Orna Grumberg [1] [2]