1 result  save search


...
inria-00089493v1  Conference papers
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles Muller. Automatic Verification of Bossa Scheduler Properties
Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.19-34