Peter E. Bulychev
发表
Kim G. Larsen,
Jirí Srba,
Paul Pettersson,
2013,
Communicating Embedded Systems.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
LPAR.
Kim G. Larsen,
Jean-François Raskin,
Pierre-Alain Reynier,
2012,
ATVA.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
PDMC.
Peter E. Bulychev,
2011,
Programming and Computer Software.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
QAPL.
Kim G. Larsen,
Peter E. Bulychev,
Thomas Chatain,
2009,
FORMATS.
Egor V. Kostylev,
Peter E. Bulychev,
Vladimir A. Zakharov,
2009,
Ershov Memorial Conference.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
RV.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
IWIGP.
Kim G. Larsen,
Guangyuan Li,
Peter E. Bulychev,
2013,
Acta Informatica.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
NASA Formal Methods.
Peter E. Bulychev,
K. Larsen,
Guangyuan Li,
2013,
Acta Informatica.
Kim Guldstrand Larsen,
Guangyuan Li,
Peter E. Bulychev,
2014
.
Peter E. Bulychev,
K. Larsen,
Axel Legay,
2011
.
Egor V. Kostylev,
Peter E. Bulychev,
V. Zakharov,
2009,
Ershov Memorial Conference.
Peter E. Bulychev,
2009
.
Peter E. Bulychev,
Marius Minea,
Peter Bulychev,
2008
.