- Added DP 2010/01.

GitBucket 4.21.2

nigel.stanger / Discussion_Papers

Browse code - Added DP 2010/01. master
1 parent 81412ad commit 2871ede614b4ce44511a51d0aa7234564cad56cf nstanger authored on 11 Jan 2010

Patch

Showing 4 changed files

Ignore Space Show notes View

Website/dp2010-abstracts-contents.htm 0 → 100644

Ignore Space Show notes View Website/dp2010-abstracts-info.htm 0 → 100644
<?php $pageTitle="Publications"; ?>

Ignore Space Show notes View Website/dp2010-abstracts.htm 0 → 100644
<?php include("dp2010-abstracts-info.htm"); include("../../lib/infosci-header.php"); echo '<div>'; include("dp2010-abstracts-contents.htm"); echo '</div>'; include("../../lib/infosci-footer.php"); ?>

Ignore Space Show notes View Website/dps2010-include.htm 0 → 100644
<p><strong>2010/01:</strong> M. Winikoff. <em>Assurance of agent systems: What role should formal verification play?.</em> <a href="dp2010-abstracts.htm#dp2010-01">Abstract</a> \| <a href="papers/dp2010-01.pdf">Download</a> (296 KB)</p>

Show line notes below