Eudes Petonnet

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Linear Temporal Logic

Relational Databases

Belief Revision

Top Venues

Log. Methods Comput. Sci.

Publications

François Laroussinie, Antoine Meyer, Eudes Petonnet
Counting CTL Log. Methods Comput. Sci. 9 (1) (2012)
François Laroussinie, Antoine Meyer, Eudes Petonnet
Counting CTL. FoSSaCS (2010)
François Laroussinie, Antoine Meyer, Eudes Petonnet
Counting LTL. TIME (2010)