-
1Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Get access
Get access
Get access
Conference Object -
2Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Get access
Get access
Get access
Get access
Conference Object -
3by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, PaulContributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
4Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Get access
Get access
Get access
Get access
Conference Object -
5Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Get access
Get access
Conference Object -
6Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Get access
Get access
Conference Object -
7by van Elewyck, V.Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Published 2011
Get access
Conference Object -
8by Van Elewyck, V.Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”
Published 2011
Get access
Conference Object