Travelled to:1 × Italy
Collaborated with:M.V.M.Oliveira M.S.C.Filho
Talks about:specif (1) circus (1) state (1) model (1) check (1) rich (1)
Person: Augusto C. A. Sampaio
DBLP: Sampaio:Augusto_C=_A=
Contributed to:
2014Wrote 1 papers:
- IFM-2014-OliveiraSF #model checking #specification
- Model-Checking Circus State-Rich Specifications (MVMO, ACAS, MSCF), pp. 39–54.