On Indicated Coloring of Graphs
- 期刊名称Graphs and Combinatorics
- 作者Raj, R. Pandiya; Raj, S. Francis; Patil, H. P.
- 卷第31卷
- 期第6期
- 印刷ISSN0911-0119
- 电子ISSN1435-5914
- 文件大小263.24KB
- 发表时间2015-11-13
- DOI10.1007/s00373-014-1508-z
- 页码2357-2367
Concurrent bisimulations in Petri netsEike Best; Raymond Devillers; Astrid Kiehn; Lucia Pomello · 1991
Recursion and Petri netsEike Best; Raymond Devillers; Maciej Koutny · 2001
The Box Algebra=Petri Nets+Process ExpressionsEike Best; Raymond Devillers; Maciej Koutny · 2002
State space axioms for T-systemsBest, Eike; Devillers, Raymond · Acta Informatica · 2015
Sequential and concurrent behaviour in Petri net theoryEike Best; Raymond Devillers · 1987
Synthesis of Live and Bounded Persistent SystemsBest, Eike; Devillers, Raymond; Ciardo, Gianfranco; Kindler, Ekkart; Penczek, Wojciech · Fundamenta Informaticae · 2015
Bounded choice-free Petri net synthesis: algorithmic issuesBest, Eike; Devillers, Raymond; Schlachter, Uli · Acta Informatica · 2017
Web Search EngineVokorokos, Liberios; Baláž, Anton; Madoš, Branislav · Acta Electrotechnica et Informatica · 2011
Query optimization in information integrationChen, Dongfeng; Chirkova, Rada; Sadri, Fereidoon; Salo, Tiia J. · Acta Informatica · 2013
Termination of nondeterministic quantum programsLi, Yangjia; Yu, Nengkun; Ying, Mingsheng · Acta Informatica · 2014
Visibly rational expressionsBozzelli, Laura; Sánchez, César · Acta Informatica · 2014
A note on the factorization conjectureDe Felice, Clelia · Acta Informatica · 2013
Editorial: special issue on synthesisPeled, Doron; Schewe, Sven · Acta Informatica · 2014
Controlled finite automataMeduna, Alexander; Zemek, Petr · Acta Informatica · 2014