RPTU University Library

Send mail to Author

Heap-based reasoning about asynchronous programs (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
__    __     ___      ______    _____     ______   _    _   
\ \\ / //   / _ \\   /_   _//  |  ___||  /_____// | || | || 
 \ \/ //   / //\ \\    | ||    | ||__    `____ `  | || | || 
  \  //   |  ___  ||  _| ||    | ||__    /___//   | \\_/ || 
   \//    |_||  |_|| /__//     |_____||  `__ `     \____//  
    `     `-`   `-`  `--`      `-----`   /_//       `---`   
                                         `-`
 


Back to frontdoor view