Search Results for Temporal automata. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTemporal$002bautomata.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300? 2024-11-07T02:52:26Z Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-11-07T02:52:26Z 2024-11-07T02:52:26Z Author&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519161.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518798 2024-11-07T02:52:26Z 2024-11-07T02:52:26Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518798.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>