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!
id my.utp.eprints.8043
record_format eprints
spelling my.utp.eprints.80432017-01-19T08:22:39Z Identifying state space reduction techniques from behavioural design patterns Ab Rahim, Lukman Whittle, Jon Q Science (General) ACM 2011-06-06 Conference or Workshop Item PeerReviewed application/pdf http://eprints.utp.edu.my/8043/1/a7-abrahim.pdf http://doi.acm.org/10.1145/1993956.1993963 Ab Rahim, Lukman and Whittle, Jon (2011) Identifying state space reduction techniques from behavioural design patterns. In: Proceedings of the Third Workshop on Behavioural Modelling. http://eprints.utp.edu.my/8043/
institution Universiti Teknologi Petronas
building UTP Resource Centre
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Petronas
content_source UTP Institutional Repository
url_provider http://eprints.utp.edu.my/
topic Q Science (General)
spellingShingle Q Science (General)
Ab Rahim, Lukman
Whittle, Jon
Identifying state space reduction techniques from behavioural design patterns
format Conference or Workshop Item
author Ab Rahim, Lukman
Whittle, Jon
author_facet Ab Rahim, Lukman
Whittle, Jon
author_sort Ab Rahim, Lukman
title Identifying state space reduction techniques from behavioural design patterns
title_short Identifying state space reduction techniques from behavioural design patterns
title_full Identifying state space reduction techniques from behavioural design patterns
title_fullStr Identifying state space reduction techniques from behavioural design patterns
title_full_unstemmed Identifying state space reduction techniques from behavioural design patterns
title_sort identifying state space reduction techniques from behavioural design patterns
publisher ACM
publishDate 2011
url http://eprints.utp.edu.my/8043/1/a7-abrahim.pdf
http://doi.acm.org/10.1145/1993956.1993963
http://eprints.utp.edu.my/8043/
_version_ 1738655625343139840
score 13.214268