Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Advanced Search
Home
 
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Publication Type
 
Sign on to:
Receive email
updates
My ERA
authorized users
Edit Profile
 
About DSpace

Edinburgh Research Archive >

Browsing by Author Anderson, Stuart

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 9 to 10 of 10
< previous 
Issue DateTitleAuthor(s)Supervisor(s)
Jul-1993Timed Processes: Models, Axioms and DecidabilityChen, LiangAnderson, Stuart; Power, John
Jul-1997A Type-Theoretic Analysis of Modular SpecificationsMaharaj, SavitriAnderson, Stuart
Showing results 9 to 10 of 10
< previous 

 
Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy