Verification of timed process algebra and beyond

Verification of timed process algebra and beyond

Ph.D

Saved in:
Bibliographic Details
Main Author: ZHANG XIAN
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2012
Subjects:
Timed Process Algebra,Formal Verification, Concurrent and Realtime Systems, Constraint Logic Programming, Refinement, Job-shop Scheduling Problem
Online Access:http://scholarbank.nus.edu.sg/handle/10635/32475
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-32475
record_format dspace
spelling sg-nus-scholar.10635-324752015-01-06T06:33:18Z Verification of timed process algebra and beyond ZHANG XIAN COMPUTER SCIENCE DONG JIN SONG Timed Process Algebra,Formal Verification, Concurrent and Realtime Systems, Constraint Logic Programming, Refinement, Job-shop Scheduling Problem Ph.D DOCTOR OF PHILOSOPHY 2012-04-30T18:01:09Z 2012-04-30T18:01:09Z 2011-04-21 Thesis ZHANG XIAN (2011-04-21). Verification of timed process algebra and beyond. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/32475 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic Timed Process Algebra,Formal Verification, Concurrent and Realtime Systems, Constraint Logic Programming, Refinement, Job-shop Scheduling Problem
spellingShingle Timed Process Algebra,Formal Verification, Concurrent and Realtime Systems, Constraint Logic Programming, Refinement, Job-shop Scheduling Problem
ZHANG XIAN
Verification of timed process algebra and beyond
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
ZHANG XIAN
format Theses and Dissertations
author ZHANG XIAN
author_sort ZHANG XIAN
title Verification of timed process algebra and beyond
title_short Verification of timed process algebra and beyond
title_full Verification of timed process algebra and beyond
title_fullStr Verification of timed process algebra and beyond
title_full_unstemmed Verification of timed process algebra and beyond
title_sort verification of timed process algebra and beyond
publishDate 2012
url http://scholarbank.nus.edu.sg/handle/10635/32475
_version_ 1681081232264265728

Similar Items