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
Original language | Undefined/Unknown |
---|---|
Title of host publication | FME |
Publisher | Springer |
Pages | 298-317 |
Number of pages | 20 |
Volume | 1313 |
Publication status | Published - 1997 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
ID: 7241279