Träfflista för sökning "WFRF:(Cornelissen M) srt2:(1998-1999)"

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Gahrton, G, et al. (författare) Allogeneic bone marrow transplantation in multiple myeloma. 1998 Ingår i: BONE MARROW TRANSPLANTATION. - 0268-3369. ; 21, s. S204-S204 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
2.	Brazier, Frances, et al. (författare) Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation 1998 Konferensbidrag (refereegranskat)abstract A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that part of the proofs can be reused in relation to reuse of components.

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Ljungman, P (1); Gahrton, G (1); Bjorkstrand, B (1); Gustavsson, Rune (1); Michallet, M (1); Svensson, H (1); visa fler...; Volin, L (1); Facon, T (1); Gratwohl, A (1); Cavo, M (1); Nikoskelainen, J (1); Apperley, J (1); Blade, J (1); Samson, D (1); de Laurenzi, A (1); Cornelissen, JJ (1); Schattenberg, A (1); Reiffers, J (1); Tura, S (1); Brazier, Frances (1); Cornelissen, Frank (1); Jonker, Catholijn M. (1); Lindeberg, Olle (1); Polak, Bianca (1); Treur, Jan (1); Van Lint, M (1); Verdonck, L (1); visa färre...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Stäng

Kopiera och spara länken för att återkomma till aktuell vy