eCite Digital Repository

Reasoning about Object Systems in VTLoE

Citation

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:Computation Theory and Mathematics
Research Field:Computation Theory and Mathematics not elsewhere classified
Objective Division:Information and Communication Services
Objective Group:Other Information and Communication Services
Objective Field:Information and Communication Services not elsewhere classified
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
Downloads:0

Repository Staff Only: item control page