University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Bryans, J"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item

Davies, J, Bryans, J and Schneider, S (1995) Real-time LOTOS and Timed Observations. In: 8th International Conference on Formal Description Techniques, ? - ?.

Bryans, J, Davies, J and Schneider, S (1995) Towards a denotational semantics for ET-LOTOS. In: 6th International Conference in Concurrency Theory, ? - ?.

Bryans, J and Schneider, SA CSP, PVS and a recursive authentication protocol In: DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997-09-03 - ?, Rutgers University.

This list was generated on Sat Feb 27 01:34:36 2021 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800