Specification of Required Non-determinism - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Publications > Specification of Required Non-determinism

Specification of Required Non-determinism. / Lano, Kevin; Bicarregui, Juan; Fiadeiro, José Luiz; Lopes, Antónia.

FME. Vol. 1313 Springer, 1997. p. 298-317 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

Name	Lecture Notes in Computer Science
Publisher	Springer

ID: 7241279

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455