Pierre Chambart

Identifiers

• name variant Pierre Chambart 0.60 · backfill

Papers (2)

1. Forward Analysis and Model Checking for Trace Bounded WSTS cs.LO · 2010 · author #1
2. Toward a Compositional Theory of Leftist Grammars and Transformations cs.FL · 2010 · author #1

Mentions

• 1004.2802 #1 · backfill · confidence 0.70 Pierre Chambart
• 1001.5047 #1 · backfill · confidence 0.70 Pierre Chambart

Frequent Coauthors

• Alain Finkel 1 shared papers
• Philippe Schnoebelen 1 shared papers
• Sylvain Schmitz 1 shared papers