Formal modelling and verification of a component model using coloured petri nets and model checking.

Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva

Browse the full SAC paper archive.