F-93430

Identifiers

• name variant F-93430 0.60 · backfill

Papers (1)

1. Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications cs.LO · 2014 · author #7

Mentions

• 1407.1952 #7 · backfill · confidence 0.70 F-93430

Frequent Coauthors

• CNRS 1 shared papers
• France) 1 shared papers
• Laure Petrucci (Universit\'e Paris 13 1 shared papers
• LIPN 1 shared papers
• Shang-Wei Lin 1 shared papers
• Sorbonne Paris Cit\'e 1 shared papers
• UMR 7030 1 shared papers
• Villetaneuse 1 shared papers