LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Thesis

Vérification compositionnelle des p-automates

Type : Report

Year : 2003

Type : Contract Report

Publisher : Projet RNTL Averroes

Number : (Lot~4.1 fourniture~1)

Date : "nov"

Authors : Bérard, Béatrice Laroussinie, François

 Mentions légales
Site map |