Sciweavers

15727 search results - page 151 / 3146
» Software Engineering - Introduction
Sort
View
95
Voted
FOSSACS
1999
Springer
15 years 7 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir
92
Voted
FOSSACS
1999
Springer
15 years 7 months ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli
88
Voted
CODES
1998
IEEE
15 years 7 months ago
Communication estimation for hardware/software codesign
Peter Voigt Knudsen, Jan Madsen
85
Voted
COMPSAC
1998
IEEE
15 years 7 months ago
Position Paper
René Klösch