UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Jump to: L
Number of items: 3.


Lano, K; Androutsopoulos, K; Clark, D; (2000) Structuring and Design of Reactive Systems Using RSDS and B. In: FASE. (pp. 97-111 - 97-111).

Lano, K; Androutsopoulos, K; Kan, P; (2000) Structuring reactive systems in B AMN. In: Liu, S and McDermid, JA and Hinchey, MG, (eds.) ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. (pp. 25 - 33). IEEE COMPUTER SOC

Lano, K; Clark, D; Androutsopoulos, K; Kan, P; (2000) Invariant-Based Synthesis of Fault-Tolerant Systems. In: FTRTFT. (pp. 46-57 - 46-57).

This list was generated on Sun Aug 30 03:16:45 2015 BST.