Specification and analysis of real-time systems using csp and petri nets

Journal article

Peer reviewed

Frederick T Sheldon, Krishna M Kavi and Sherman Reed

International Journal of Software Engineering and Knowledge Engineering, Vol.6(2), pp.229-248

1996

Files and links (1)

url

http://ws.isiknowledge.com/cps/openurl/service?url_ver=Z39.88-2004&rft_id=info:ut/A1996UY71700005View

1 Record Views

Title: Specification and analysis of real-time systems using csp and petri nets
Creators: Frederick T Sheldon - The University of Texas at Arlington
Krishna M Kavi - The University of Texas at Arlington
Sherman Reed - The University of Texas at Arlington
Publication Details: International Journal of Software Engineering and Knowledge Engineering, Vol.6(2), pp.229-248
Identifiers: 996630980401851
Academic Unit: Computer Science
Language: English
Resource Type: Journal article