Specification of Required Non-determinism

Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes

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",

}