Unfold/fold transformations for automated verification of parameterized concurrent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

Bibliographic Details
Main Authors:	Roychoudhury, A., Ramakrishnan, C.R.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38939
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38939
record_format	dspace
spelling	sg-nus-scholar.10635-389392015-01-06T08:20:25Z Unfold/fold transformations for automated verification of parameterized concurrent systems Roychoudhury, A. Ramakrishnan, C.R. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3049 261-290 2013-07-04T07:30:19Z 2013-07-04T07:30:19Z 2004 Article Roychoudhury, A.,Ramakrishnan, C.R. (2004). Unfold/fold transformations for automated verification of parameterized concurrent systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3049 : 261-290. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/38939 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Roychoudhury, A. Ramakrishnan, C.R.
format	Article
author	Roychoudhury, A. Ramakrishnan, C.R.
spellingShingle	Roychoudhury, A. Ramakrishnan, C.R. Unfold/fold transformations for automated verification of parameterized concurrent systems
author_sort	Roychoudhury, A.
title	Unfold/fold transformations for automated verification of parameterized concurrent systems
title_short	Unfold/fold transformations for automated verification of parameterized concurrent systems
title_full	Unfold/fold transformations for automated verification of parameterized concurrent systems
title_fullStr	Unfold/fold transformations for automated verification of parameterized concurrent systems
title_full_unstemmed	Unfold/fold transformations for automated verification of parameterized concurrent systems
title_sort	unfold/fold transformations for automated verification of parameterized concurrent systems
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38939
_version_	1681082008506204160

Unfold/fold transformations for automated verification of parameterized concurrent systems

Similar Items