Search Results for Ölveczky, Peter Csaba. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d$0025C3$002596lveczky$00252C$002bPeter$002bCsaba.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?2024-09-11T18:45:41ZFormal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5185222024-09-11T18:45:41Z2024-09-11T18:45:41ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518522.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17581-2">https://doi.org/10.1007/978-3-319-17581-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5192682024-09-11T18:45:41Z2024-09-11T18:45:41ZAuthor Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519268.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23165-5">https://doi.org/10.1007/978-3-319-23165-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>