ePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Dr Fernando Dotti

Newcastle Authors	Title	Year	Full text
Dr Fernando Dotti Dr Alexei Iliasov Emerson Ribeiro De Mello Emeritus Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modal systems: Specification, refinement and realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Alexei Iliasov Dr Fernando Dotti Emeritus Professor Alexander Romanovsky	Structuring Specifications with Modes	2009
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Fernando Dotti	Structuring Specifications with Modes	2009