1.Towards a Theory of Regular MSC Languages

作　　者：Jesper G. Henriksen ;Madhavan Mukund ;K. Narayan Kumar 等

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

出版社：Aarhus University

文章 ID：101759795

文章详细全文下载
2.Determinizing Asynchronous Automata on Infinite Inputs

作　　者：Nils Klarlund ;Madhavan Mukund ;Milind Sohoni

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

出版社：Aarhus University

文章 ID：101759900

文章详细全文下载
3.2008 Abstracts Collection -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

作　　者：Ramesh Hariharan ;Madhavan Mukund ;V Vinay

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:1-18.doi:10.4230/LIPIcs.FSTTCS.2008.1772

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

文章 ID：186845489

文章详细全文下载
4.2008 Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

作　　者：Ramesh Hariharan ;Madhavan Mukund ;V Vinay

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:i-i.doi:10.4230/LIPIcs.FSTTCS.2008.1771

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

文章 ID：186845490

文章详细全文下载
5.Model checking time-constrained scenario-based specifications

作　　者：S. Akshay ;Paul Gastin ;Madhavan Mukund 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:204-215.doi:10.4230/LIPIcs.FSTTCS.2010.204

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

文章 ID：186845771

文章详细全文下载

	Milind Sohoni	1篇
	Nils Klarlund	1篇
	P. S. Thiagarajan	1篇
	Paul Gastin	1篇
	S. Akshay	1篇

	德国	3篇
	丹麦	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Madhavan Mukund")))) )) ) )"

	Madhavan Mukund	5篇
	K. Narayan Kumar	2篇
	Ramesh Hariharan	2篇
	V Vinay	2篇
	Jesper G. Henriksen	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	BRICS Report Series	2篇

	2010	1篇
	2008	2篇
	1999	1篇
	1995	1篇