Yazar
Torra, Vicenç. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on
Yazar
Lucanu, Dorel. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Escobar, Santiago. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017
Yazar
Ortmeier, Frank. editor.
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October
Yazar
Proença, José. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018
Yazar
Gallardo, María del Mar. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market