Toggle Main Menu Toggle Search

ePrints

Including User Behavior as Model Checking Analysis

Lookup NU author(s): Professor Michael Harrison

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Campos JC, Doherty G, Harrison MD

Publication type: Report

Publication status: Published

Series Title: Technical Report

Year: 2009

Pages: 21

Print publication date: 01/10/2009

Source Publication Date: October 2009

Report Number: DI-CCTC-09-17

Institution: University of Minho

Place Published: Braga, ortugal

URL: http://cctc.uminho.pt/publications/pub-2009-146


Share