User menu

Efficient symbolic model checking for process algebras

Bibliographic reference Vander Meulen, José ; Pecheur, Charles. Efficient symbolic model checking for process algebras.Proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008) (L'Aquila, Italy, du 15/09/2008 au 16/09/2008). In: Darren Cofer, Alessandro Fantechi, Formal Methods for Industrial Critical Systems, 2008, p.69-84
Permanent URL http://hdl.handle.net/2078.1/79719