BC00

Didier Bert, Francis Cave. Construction of Finite Labelled Transition Systems from B Abstract Systems. In Integrated Formal Methods, IFM2000, LNCS 1945, Pages 235-254, Novembre 2000.

Contact

Didier Bert

Référence BibTex

@InProceedings{BC00,
   Author = {Bert, Didier and Cave, Francis},
   Title = {{Construction of Finite Labelled Transition Systems from B Abstract Systems}},
   BookTitle = {Integrated Formal Methods, IFM2000, LNCS 1945},
   Pages = {235--254},
   Publisher = {Springer-Verlag},
   Month = {November},
   Year = {2000}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)