Home
Browse
Search
Latest additions
Policies
FAQ
About Open Access
Browse by Author
Browse by Year
Browsing publications by
Dr Fernando Dotti
Newcastle Authors
Title
Year
Dr Fernando Dotti
Dr Alexei Iliasov
Emerson Ribeiro De Mello
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation
2009
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal systems: Specification, refinement and realisation
2009
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation
2009
Dr Alexei Iliasov
Dr Fernando Dotti
Professor Alexander Romanovsky
Structuring Specifications with Modes
2009
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Fernando Dotti
Structuring Specifications with Modes
2009