Yazar
van Benthem, Johan. editor.
Format:
Electronic Resources
Alıntı:
Models of Strategic Reasoning Logics, Games, and Communities / van Benthem, Johan. editor.
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014
View Other Search Results
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016
Yazar
D’Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015
Yazar
Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X
Format:
Electronic Resources
Alıntı:
Models and Principles. https://scigraph.springernature.com/ontologies/product-market-codes/I18016