Auflistung nach Autor Esparza, Javier
Anzeige der Treffer 4 bis 4 von 4
< zurück
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2005 | Reachability analysis of multithreaded software with asynchronous communication | Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan |