eCite Digital Repository

Reasoning about Object Systems in VTLoE


Mason, IA and Talcott, CL, Reasoning about Object Systems in VTLoE, International Journal of Foundations on Computer Science, 6, (3) pp. 265-298. ISSN 0129-0541 (1995) [Refereed Article]

DOI: doi:10.1142/S0129054195000160

Item Details

Item Type:Refereed Article
Research Division:Information and Computing Sciences
Research Group:Theory of computation
Research Field:Theory of computation not elsewhere classified
Objective Division:Information and Communication Services
Objective Group:Other information and communication services
Objective Field:Other information and communication services not elsewhere classified
UTAS Author:Mason, IA (Dr Mason)
ID Code:5206
Year Published:1995
Deposited By:Applied Computing and Mathematics
Deposited On:1995-08-01
Last Modified:2011-10-11

Repository Staff Only: item control page