Author
SpringerLink (Online service)
31 results
ETAPS (Conference)
2 results
Ellis, George (George H.)
2 results
Fitzgerald, John, 1965-
2 results
Scheer, August-Wilhelm
2 results
Shen, Weiming
2 results
Agnihotri, Gayatri, 1947-
1 results
Banieqbal, B. (Behnam), 1960-
1 results
Barringer, Howard, 1951-
1 results
Bawa, Joanna
1 results
Bernardo, Marco
1 results
Bernus, Péter
1 results
Bhattacharyya, S. P. (Shankar P.), 1946-
1 results
Bidoit, M. (Michel), 1957-
1 results
Bishop, J. M. (Judith Mary), 1951-
1 results
Bordini, Rafael H.
1 results
Boussoffara, B (Badi), 1942-
1 results
Brinksma, Ed
1 results
Calmet, Jacques
1 results
Chen, Peter P. S.
1 results
Colloquium on Temporal Logic in Specification
1 results
Dahl, Ole-Johan, 1931-
1 results
Damodaran, Leela
1 results
De Micheli, Giovanni
1 results
Dearle, Alan
1 results
Dimitrov, Vladimir, 1942-
1 results
Eisenbach, S., 1951-
1 results
Elzer, P.
1 results
Grötker, Thorsten
1 results
Halbwachs, Nicolas
1 results
Hayes, Ian
1 results
Heath, Steve
1 results
Hermanns, Holger, 1967-
1 results
Holtzblatt, Karen
1 results
IFIP/ACM Working Conference on Component Deployment Berlin, Germany
1 results
International Conference on Computer Supported Cooperative Work in Design Coventry, England
1 results
International Conference on Computer Supported Cooperative Work in Design Xiamen Shi, China
1 results
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
1 results
International Symposium DISCO '96 Karlsruhe, Germany
1 results
International Symposium of Formal Methods Europe Hamilton, Ont
1 results
International Symposium of Formal Methods Europe Newcastle upon Tyne, England
1 results
Inverardi, Paola
1 results
Kacprzyk, Janusz
1 results
Kaiser, William J.
1 results
Kluwe, Rainer
1 results
Knovel (Firm)
1 results
Kobayashi, Naoki
1 results
Krogdahl, Stein
1 results
Limongelli, Carla
1 results
Lyche, Tom
1 results
more…