Search results for: R. Gorrieri
Fundamenta Informaticae > 2017 > Vol. 154, nr 1/4 > 145--166
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 167-186
Fundamenta Informaticae > 2011 > Vol. 109, nr 2 > 135-160
Fundamenta Informaticae > 2006 > Vol. 73, nr 4 > 479-506
Computer Communications > 2000 > 23 > 17 > 1645-1654
Electronic Notes in Theoretical Computer Science > 2000 > 32 > Complete > 101-112
Information and Computation > 1995 > 122 > 1 > 97-119
Information and Computation > 1995 > 118 > 2 > 272-288