Candidate models for the IGRF-11th generation making use of extrapolated observatory data
- 期刊名称Earth, Planets and Space
- 作者Chambodut, Aude; Langlais, Benoit; Menvielle, Michel; Thébault, Erwan; Chulliat, Arnaud; Hulot, Gauthier
- 卷第62卷
- 期第10期
- 印刷ISSN1343-8832
- 电子ISSN1880-5981
- 文件大小360.44KB
- 发表时间2010-10
- DOI10.5047/eps.2010.06.006
- 页码745-751
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