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.Verification of Asynchronous Programs with Nested Locks

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:11:1-11:14.doi:10.4230/LIPIcs.FSTTCS.2017.11

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

文章 ID：220015396

文章详细
3.Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)

作　　者：Ravi Kannan ;K. Narayan Kumar

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:i-vii.doi:10.4230/LIPIcs.FSTTCS.2009.2341

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

文章 ID：186845584

文章详细全文下载
4.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

文章详细全文下载
5.On Bounded Reachability Analysis of Shared Memory Systems

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:611-623.doi:10.4230/LIPIcs.FSTTCS.2014.611

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

文章 ID：186846637

文章详细全文下载
6.Verifying Quantitative Temporal Properties of Procedural Programs

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.15

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

文章 ID：230213327

文章详细全文下载
7.Regular Separability of Well-Structured Transition Systems

作　　者：Wojciech Czerwinski ;Slawomir Lasota ;Roland Meyer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-18.doi:10.4230/LIPIcs.CONCUR.2018.35

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

文章 ID：230213347

文章详细全文下载

	有本地全文	6篇
	有全文链接	1篇

	K. Narayan Kumar	7篇
	Prakash Saivasan	4篇
	Ahmed Bouajjani	3篇
	Mohamed Faouzi Atig	3篇
	Madhavan Mukund	2篇

	Jesper G. Henriksen	1篇
	P. S. Thiagarajan	1篇
	Paul Gastin	1篇
	Ravi Kannan	1篇
	Roland Meyer	1篇
	S. Akshay	1篇
	Sebastian Muskalla	1篇
	Slawomir Lasota	1篇
	Wojciech Czerwinski	1篇

	德国	6篇
	丹麦	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("K. Narayan Kumar")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	BRICS Report Series	1篇

	2018	3篇
	2014	1篇
	2010	1篇
	2009	1篇
	1999	1篇