Specification of Required Non-determinism

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

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inproceedings{a88f681494334ad0a4e1556f978df68c,

title = "Specification of Required Non-determinism",

author = "Kevin Lano and Juan Bicarregui and Fiadeiro, \{Jos{\'e} Luiz\} and Ant{\'o}nia Lopes",

year = "1997",

language = "Undefined/Unknown",

volume = "1313",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "298--317",

booktitle = "FME",

}