| |
| 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 | |
| 1 | Bernard Berthomieu | [1] [2] |