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.

Publications