Title |
Reachability analysis of multithreaded software with asynchronous communication / Ahmed Bouajjani ... |
|---|---|
Involved |
Ahmed Bouajjani (Mitwirkender) |
Published |
[Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik] |
Extent |
Online-Ressource |
Language |
|
Country |
|
Topic |
|
Series |
Dagstuhl seminar proceedings 06081 |
Persistent identifier |
|
Record ID |
990288048 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: