M
Michel Montbernard
Publications - 1
Citations - 33
Michel Montbernard is an academic researcher. The author has contributed to research in topics: Formal verification & Logic programming. The author has an hindex of 1, co-authored 1 publications receiving 33 citations.
Papers
More filters
Proceedings ArticleDOI
Specification and verification of distributed systems using prolog interpreted petri nets.
TL;DR: The key elements of the introduced approach are a symbolic interpreter for Predicate Transition Nets, and a technique for interfacing concurrent processes for distributed systems.