Journal article icon

Journal article

Model checking Timed CSP

Actions


Access Document


Files:

Authors


P. Armstrong More by this author
J Ouaknine More by this author
A.W Roscoe More by this author
Journal:
In Proceedings of HOWARD (Festschrift for Howard Barringer)
Publication date:
2012
URN:
uuid:d4cef293-3474-456d-9d9c-45f0e5154516
Local pid:
cs:5971

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP