Identifying state space reduction techniques from behavioural design patterns

Saved in:
Bibliographic Details
Main Authors: Ab Rahim, Lukman, Whittle, Jon
Format: Conference or Workshop Item
Published: ACM 2011
Subjects:
Online Access:http://eprints.utp.edu.my/8043/1/a7-abrahim.pdf
http://doi.acm.org/10.1145/1993956.1993963
http://eprints.utp.edu.my/8043/
Tags: Add Tag
No Tags, Be the first to tag this record!