Miguel Menasche

According to our database, Miguel Menasche authored at least 3 papers between 1983 and 1985.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1985

PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets.

Miguel Menasche

Proceedings of the International Workshop on Timed Petri Nets, 1985

1983

Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.

Miguel Menasche, Bernard Berthomieu

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

An Enumerative Approach for Analyzing Time Petri Nets.

Bernard Berthomieu, Miguel Menasche

Proceedings of the Information Processing 83, 1983