Modal Systems: Specification, Refinement and Realisation.

Fernando Lus Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky

Browse the full ICFEM paper archive.