Multilevel Modeling and Reasoning with FOML

Mira Balaban, Igal Khitron, Michael Kifer. Multilevel Modeling and Reasoning with FOML. In 2016 IEEE International Conference on Software Science, Technology and Engineering, SWSTE 2016, Beer Sheva, Israel, June 23-24, 2016. pages 61-70, IEEE, 2016. [doi]

Authors

Mira Balaban

This author has not been identified. Look up 'Mira Balaban' in Google

Igal Khitron

This author has not been identified. Look up 'Igal Khitron' in Google

Michael Kifer

This author has not been identified. Look up 'Michael Kifer' in Google