Concepedia
Statistics
Publications
2
Citations
60
H-Index
Active since
1983
Miguel Menasche is an author specializing in formal methods, petri nets, and petri net analysis.
Publications per year
1983–1985
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.
Miguel Menasche, Bernard Berthomieu · 1983 · 33 citations
Computing, Computer Engineering, Computer Science +14
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets
Miguel Menasche · 1985 · 27 citations
Computing, Computer Science, Formal Methods +4
1–2 of 2