www.prismmodelchecker.org
[AGM+08] H. Ackermann and P.W. Goldberg and V. Mirrokni and H. Ro ̈glin and B. Vocking . Uncoordinated two-sided matching markets. In Proceedings of the 9th ACM Conference on Electronic Commerce (EC’08). 2008.
Links: [Google] [Google Scholar]

Publications