Software Open Access
Atkinson, Eric; Carbin, Michael
<?xml version='1.0' encoding='UTF-8'?> <record xmlns="http://www.loc.gov/MARC21/slim"> <leader>00000nmm##2200000uu#4500</leader> <controlfield tag="005">20201015002655.0</controlfield> <controlfield tag="001">4088252</controlfield> <datafield tag="700" ind1=" " ind2=" "> <subfield code="u">MIT</subfield> <subfield code="a">Carbin, Michael</subfield> </datafield> <datafield tag="856" ind1="4" ind2=" "> <subfield code="s">19244</subfield> <subfield code="z">md5:6a7bda3466b0d95af93c9c8ec0852ac9</subfield> <subfield code="u">https://zenodo.org/record/4088252/files/cblimp.zip</subfield> </datafield> <datafield tag="542" ind1=" " ind2=" "> <subfield code="l">open</subfield> </datafield> <datafield tag="260" ind1=" " ind2=" "> <subfield code="c">2020-10-14</subfield> </datafield> <datafield tag="909" ind1="C" ind2="O"> <subfield code="p">software</subfield> <subfield code="o">oai:zenodo.org:4088252</subfield> </datafield> <datafield tag="100" ind1=" " ind2=" "> <subfield code="u">MIT</subfield> <subfield code="a">Atkinson, Eric</subfield> </datafield> <datafield tag="245" ind1=" " ind2=" "> <subfield code="a">Artifact for "Programming and Reasoning with Partial Observability"</subfield> </datafield> <datafield tag="540" ind1=" " ind2=" "> <subfield code="u">https://opensource.org/licenses/MIT</subfield> <subfield code="a">MIT License</subfield> </datafield> <datafield tag="650" ind1="1" ind2="7"> <subfield code="a">cc-by</subfield> <subfield code="2">opendefinition.org</subfield> </datafield> <datafield tag="520" ind1=" " ind2=" "> <subfield code="a"><p>This is the artifact that accompanies the OOPSLA 2020 paper &quot;Programming and Reasoning with Partial Observability&quot;.</p></subfield> </datafield> <datafield tag="773" ind1=" " ind2=" "> <subfield code="n">doi</subfield> <subfield code="i">isSupplementedBy</subfield> <subfield code="a">10.1145/3428268</subfield> </datafield> <datafield tag="773" ind1=" " ind2=" "> <subfield code="n">doi</subfield> <subfield code="i">isVersionOf</subfield> <subfield code="a">10.5281/zenodo.4088251</subfield> </datafield> <datafield tag="024" ind1=" " ind2=" "> <subfield code="a">10.5281/zenodo.4088252</subfield> <subfield code="2">doi</subfield> </datafield> <datafield tag="980" ind1=" " ind2=" "> <subfield code="a">software</subfield> </datafield> </record>
All versions | This version | |
---|---|---|
Views | 85 | 85 |
Downloads | 9 | 9 |
Data volume | 173.2 kB | 173.2 kB |
Unique views | 80 | 80 |
Unique downloads | 9 | 9 |