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 proceedingConference contribution

Published
Original languageUndefined/Unknown
Title of host publicationFME
PublisherSpringer
Pages298-317
Number of pages20
Volume1313
Publication statusPublished - 1997

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

ID: 7241279