TrÃ¤fflista fÃ¶r sÃ¶kning "mat:free;srt2:2007;pers:(Honiden Shinichi)"

Hjälp

Sortera/gruppera träfflistan

Sortering: Gruppering: Träffar per sida:

Numrering	Upphov	Titel	Utgivningsår	Antal bibliotek
1.	Artho, Cyrille	Visualization of Concurrent Program Exec...	2007	Fulltext
2.	Artho, Cyrille	AOP-based automated unit test classifica...	2007	Fulltext
3.	Artho, Cyrille	Efficient Model Checking of Applications...	2007	Fulltext
4.	Artho, Cyrille	Model Checking Networked Programs in the...	2007	Fulltext
5.	Artho, Cyrille	Iterative Delta Debugging [Elektronisk r...	2007	Fulltext
6.	Artho, Cyrille	Efficient Model Checking of Applications...	2007	Fulltext
7.	Artho, Cyrille	Visualization of Concurrent Program Exec...	2007	Fulltext

Skapa referenser, mejla, bekava och lÃ¤nka

Hjälp

Författare/upphov: Artho, Cyrille. (7); Honiden, Shinic... (7)Ta bort avgränsningen; Biere, Armin. (2); Havelund, Klaus. (2); Shibayama, Etsuya. (2); visa fler...; Zweimüller, Boris (2); Sommer, Christian (1); Chen, Zhongwei. (1); visa färre...

XML-VY, hitlist
XML-VY, count
XML-VY, search

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.