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