Luís F. Pinto

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto
Model Checking Embedded Systems with PROMELA. ECBS (2005)