Miguel Menasche

Publication Activity (10 Years)

Years Active: 1983-1985
Publications (10 Years): 0

Publications

Miguel Menasche
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets. PNPM (1985)
Miguel Menasche, Bernard Berthomieu
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification (1983)
Bernard Berthomieu, Miguel Menasche
An Enumerative Approach for Analyzing Time Petri Nets. IFIP Congress (1983)