Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Fernando Dotti.

Newcastle AuthorsTitleYearFull text
Dr Fernando Dotti
Dr Alexei Iliasov
Emerson Ribeiro De Mello
Emeritus Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Modal systems: Specification, refinement and realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Alexei Iliasov
Dr Fernando Dotti
Emeritus Professor Alexander Romanovsky
Structuring Specifications with Modes2009
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
Dr Fernando Dotti
Structuring Specifications with Modes2009