Miguel Menasche

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1985

3 Miguel Menasche: PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets. PNPM 1985: 162-169

1983

2 Bernard Berthomieu, Miguel Menasche: An Enumerative Approach for Analyzing Time Petri Nets. IFIP Congress 1983: 41-46

1 Miguel Menasche, Bernard Berthomieu: Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification 1983: 161-172

	1985
3		Miguel Menasche: PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets. PNPM 1985: 162-169
	1983
2		Bernard Berthomieu, Miguel Menasche: An Enumerative Approach for Analyzing Time Petri Nets. IFIP Congress 1983: 41-46
1		Miguel Menasche, Bernard Berthomieu: Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification 1983: 161-172

Coauthor Index