Publications

Export 2 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is N  [Clear All Filters]
A B C D E F G H I J K L M [N] O P Q R S T U V W X Y Z   [Show ALL]
N
R. de Nicola and H. C. Melgratti, “Multiparty Testing Preorders”, in Proceedings of TGC 2015 - Symposium on Trustworthy Global Computing 2015, 2015.
D. E. Nadales Agut, D. A. van Beek, and J. E. Rooda, “Syntax and semantics of the compositional interchange format for hybrid systems”, J. Log. Algebr. Program., vol. 82, p. 1-52, 2013.