1. OPUS

Auflistung nach Autor Esparza, Javier

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 1 bis 4 von 4
ErscheinungsdatumTitelAutor(en)
2006Abstraction refinement with craig interpolation and symbolic pushdown systemsEsparza, Javier; Kiefer, Stefan; Schwoon, Stefan
2006Efficient algorithms for alternating pushdown systems : application to certificate chain discovery with threshold subjectsSuwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
2004A note on on-the-fly verification algorithmsSchwoon, Stefan; Esparza, Javier
2005Reachability analysis of multithreaded software with asynchronous communicationBouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan
Anzeige der Treffer 1 bis 4 von 4