Showing 1 - 19
of 19
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: *-*
Genre: Conference papers and proceedings
Subject: Electronic data processing Distributed processing
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Author
14
SpringerLink (Online service)
10
International Federated Conferences on Distributed Computing Techniques
6
FORTE (Conference)
5
IFIP Working Group 6.1
5
International Conference on Formal Methods for Open Object-Based Distributed Systems
4
FORTE Conference
more ...
2
FORTE Conference Online)
1
Albert, Elvira,
1
Baier, Christel,
1
Beyer, Dirk, 1972-
1
Boreale, Michele,
1
Bouajjani, Ahmed,
1
Bruni, Roberto
1
Caires, Luís,
1
Derrick, John, 1963-
1
Dingel, Juergen
1
Donzeau-Gouge, Véronique
1
FORTE (Conference) Berlin, Germany)
1
FORTE (Conference) Grenoble, France)
1
FORTE (Conference) Madrid, Spain)
1
FORTE (Conference) Neuchâtel, Switzerland)
1
FORTE (Conference) Ērakleion, Greece)
1
FORTE 2005
1
FORTE 2005 Taipei, Taiwan)
1
FORTE 2006
1
FORTE 2006 Paris, France)
1
FORTE 2007
1
FORTE 2007 Tallinn, Estonia)
1
FORTE 2008
1
FORTE 2008 Tokyo, Japan)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication