1.From Timed Automata to Logic - and Back

作　　者：Francois Laroussinie ;Kim G. Larsen ;Carsten Weise

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

出版社：Aarhus University

文章 ID：101759801

文章详细全文下载
2.A Compositional Proof of a Real-Time Mutual Exclusion Protocol

作　　者：Kåre J. Kristoffersen ;Francois Laroussinie ;Kim G. Petersen 等

出　　处：BRICS Report Series. 1996 ;3(55).

出版社：Aarhus University

文章 ID：101760001

文章详细全文下载
3.Compositional Model Checking of Real Time Systems

作　　者：Francois Laroussinie ;Kim G. Larsen

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

出版社：Aarhus University

文章 ID：101760002

文章详细全文下载
4.Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

作　　者：Luca Aceto ;Francois Laroussinie

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

出版社：Aarhus University

文章 ID：101760048

文章详细全文下载
5.Model Checking Probabilistic Timed Automata with One or Two Clocks

作　　者：Marcin Jurdzinski ;Jeremy Sproston ;Francois Laroussinie

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:12)2008

出版社：Technical University of Braunschweig

文章 ID：47109802

文章详细全文下载
6.On the Expressiveness of QCTL

作　　者：Am{\'e}lie David ;Francois Laroussinie ;Nicolas Markey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:28:1-28:15.doi:10.4230/LIPIcs.CONCUR.2016.28

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847586

文章详细全文下载

	Kim G. Petersen	1篇
	Kåre J. Kristoffersen	1篇
	Luca Aceto	1篇
	Marcin Jurdzinski	1篇
	Nicolas Markey	1篇
	Paul Pettersson	1篇
	Wang Yi	1篇

	丹麦	4篇
	德国	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Francois Laroussinie")))) )) ) )"

	Francois Laroussinie	6篇
	Kim G. Larsen	2篇
	Am{\'e}lie David	1篇
	Carsten Weise	1篇
	Jeremy Sproston	1篇

	BRICS Report Series	4篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇

	2016	1篇
	2008	1篇
	1999	1篇
	1996	1篇
	1995	2篇