Modal Systems: Specification, Refinement and Realisation

@inproceedings{Dotti2009ModalSS,
  title={Modal Systems: Specification, Refinement and Realisation},
  author={Fernando Lu{\'i}s Dotti and Alexei Iliasov and Leila Ribeiro and Alexander Romanovsky},
  booktitle={ICFEM},
  year={2009}
}
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Similar Papers

Loading similar papers…