RPTU University Library

Send mail to Author

Tool Supported Specification and Verification of Highly Available Applications (Doctoral Thesis)

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



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


Back to frontdoor view