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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.