An analyzer for extended compositional process algebras

An analyzer for extended compositional process algebras

10.1145/1370175.1370187

Saved in:
Bibliographic Details
Main Authors: Liu, Y., Sun, J., Dong, J.S.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Fairness
Model Checking
SAT Solvers
Simulation
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40044
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40044
record_format dspace
spelling sg-nus-scholar.10635-400442015-01-09T06:05:59Z An analyzer for extended compositional process algebras Liu, Y. Sun, J. Dong, J.S. COMPUTER SCIENCE Fairness Model Checking SAT Solvers Simulation 10.1145/1370175.1370187 Proceedings - International Conference on Software Engineering 919-920 PCSED 2013-07-04T07:55:24Z 2013-07-04T07:55:24Z 2008 Conference Paper Liu, Y.,Sun, J.,Dong, J.S. (2008). An analyzer for extended compositional process algebras. Proceedings - International Conference on Software Engineering : 919-920. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/1370175.1370187" target="_blank">https://doi.org/10.1145/1370175.1370187</a> 9781605580791 02705257 http://scholarbank.nus.edu.sg/handle/10635/40044 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Fairness
Model Checking
SAT Solvers
Simulation
spellingShingle Fairness
Model Checking
SAT Solvers
Simulation
Liu, Y.
Sun, J.
Dong, J.S.
An analyzer for extended compositional process algebras
description 10.1145/1370175.1370187
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Liu, Y.
Sun, J.
Dong, J.S.
format Conference or Workshop Item
author Liu, Y.
Sun, J.
Dong, J.S.
author_sort Liu, Y.
title An analyzer for extended compositional process algebras
title_short An analyzer for extended compositional process algebras
title_full An analyzer for extended compositional process algebras
title_fullStr An analyzer for extended compositional process algebras
title_full_unstemmed An analyzer for extended compositional process algebras
title_sort analyzer for extended compositional process algebras
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40044
_version_ 1681082200196382720

Similar Items