%0 Conference Paper %1 journals/corr/abs-1709-00830 %A Rot, Jurriaan %B EXPRESS/SOS %D 2017 %E Peters, Kirstin %E Tini, Simone %K dblp %P 83-97 %T Distributive Laws for Monotone Specifications. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs255.html#abs-1709-00830 %V 255

@inproceedings{journals/corr/abs-1709-00830, added-at = {2018-09-12T00:00:00.000+0200}, author = {Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/2d109c590f287181a58941dd80306ed11/dblp}, booktitle = {EXPRESS/SOS}, crossref = {journals/corr/abs-1709-00049}, editor = {Peters, Kirstin and Tini, Simone}, ee = {http://arxiv.org/abs/1709.00830}, interhash = {f9fae2f2d7405af60a6090c32e7999a9}, intrahash = {d109c590f287181a58941dd80306ed11}, keywords = {dblp}, pages = {83-97}, series = {EPTCS}, timestamp = {2019-10-09T11:38:51.000+0200}, title = {Distributive Laws for Monotone Specifications.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs255.html#abs-1709-00830}, volume = 255, year = 2017 }