Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams Raimondi, Franco
 2007
 5 2 p. 235-251
17 p.
 artikel
2 A verification framework for agent programming with declarative goals de Boer, F.S.
 2007
 5 2 p. 277-302
26 p.
 artikel
3 Editorial Board 2007
 5 2 p. iii-vi
nvt p.
 artikel
4 Fresh Logic: proof-theory and semantics for FM and nominal techniques Gabbay, Murdoch J.
 2007
 5 2 p. 356-387
32 p.
 artikel
5 Logic-Based Agent Verification Fisher, Michael
 2007
 5 2 p. 193-195
3 p.
 artikel
6 Precise specification matching for adaptive reuse in embedded systems Guo, Hai-Feng
 2007
 5 2 p. 333-355
23 p.
 artikel
7 Security of multi-agent systems: A case study on comparison shopping Hutter, Dieter
 2007
 5 2 p. 303-332
30 p.
 artikel
8 Specifying and verifying interaction protocols in a temporal action logic Giordano, Laura
 2007
 5 2 p. 214-234
21 p.
 artikel
9 The computational complexity of scenario-based agent verification and design Bontemps, Yves
 2007
 5 2 p. 252-276
25 p.
 artikel
10 Verifiable agent dialogues Walton, Christopher D.
 2007
 5 2 p. 197-213
17 p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland