CT-NOR: Representing and Reasoning About Events in Continuous Time Aleksandr Simma, Moises Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, Richard Mortier∗ Microsoft Research - Richard Barham - Document - PDFSEARCH.IO

First Page	Meta Content
	CT-NOR: Representing and Reasoning About Events in Continuous Time Aleksandr Simma, Moises Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, Richard Mortier∗ Microsoft Research Add to Reading List Document Date: 2008-05-16 11:16:48 Open Document File Size: 390,39 KB Share Result on Facebook

CT-NOR: Representing and Reasoning About Events in Continuous Time Aleksandr Simma, Moises Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, Richard Mortier∗ Microsoft ResearchAdd to Reading List