An analytical and experimental comparison of CSP extensions and tools
10.1007/978-3-642-34281-3_27
Saved in:
Main Authors: | Shi, L., Liu, Y., Sun, J., Dong, J.S., Carvalho, G. |
---|---|
Other Authors: | TEMASEK LABORATORIES |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/43178 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
An analytical and experimental comparison of CSP extensions and tools
by: SHI, Ling, et al.
Published: (2012) -
Translating PDDL into CSP# - The PAT Approach
by: Li, Y., et al.
Published: (2013) -
Model checking CSP revisited: Introducing a process analysis toolkit
by: Sun, J., et al.
Published: (2013) -
Modeling and verifying hierarchical real-time systems using stateful timed CSP
by: Sun, J., et al.
Published: (2013) -
Verifying stateful timed CSP using implicit clocks and zone abstraction
by: Sun, J., et al.
Published: (2013)