1.A Runtime System for Interactive Web Services

作　　者：Claus Brabrand ;Anders Møller ;Anders B. Sandholm 等

出　　处：BRICS Report Series. 1999 ;6(9).

出版社：Aarhus University

文章 ID：101759832

文章详细全文下载
2.Using Automata in Control Synthesis. A Case Study

作　　者：Thomas S. Hune ;Anders B. Sandholm

出　　处：BRICS Report Series. 2000 ;7(22).

出版社：Aarhus University

文章 ID：101759849

文章详细全文下载
3.Distributed Safety Controllers for Web Services

作　　者：Anders B. Sandholm ;Michael I. Schwartzbach

出　　处：BRICS Report Series. 1997 ;4(47).

出版社：Aarhus University

文章 ID：101759866

文章详细全文下载
4.MONA: Monadic Second-Order Logic in Practice

作　　者：Jesper G. Henriksen ;Ole J.L. Jensen ;Michael E. Jørgensen 等

出　　处：BRICS Report Series. 1995 ;2(21).

出版社：Aarhus University

文章 ID：101759906

文章详细全文下载
5.A Relational Account of Call-by-Value Sequentiality

作　　者：Jon G. Riecke ;Anders B. Sandholm

出　　处：BRICS Report Series. 1999 ;6(10).

出版社：Aarhus University

文章 ID：101760068

文章详细全文下载
6.A Relational Account of Call-by-Value Sequentiality

作　　者：Jon G. Riecke ;Anders B. Sandholm

出　　处：BRICS Report Series. 1997 ;4(41).

出版社：Aarhus University

文章 ID：101760112

文章详细全文下载

	Jesper G. Henriksen	1篇
	Michael E. Jørgensen	1篇
	Nils Klarlund	1篇
	Ole J.L. Jensen	1篇
	Robert Paige	1篇
	Theis Rauhe	1篇
	Thomas S. Hune	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Anders B. Sandholm")))) )) ) )"

	Anders B. Sandholm	6篇
	Jon G. Riecke	2篇
	Michael I. Schwartzbach	2篇
	Anders Møller	1篇
	Claus Brabrand	1篇

	2000	1篇
	1999	2篇
	1997	2篇
	1995	1篇