( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Buffered Dynamic Register Automata.

, , , и . NETYS, том 9466 из Lecture Notes in Computer Science, стр. 15-31. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ahmed Rezine

Othmane Aouane

 

Другие публикации лиц с тем же именем

Verification of networks of communicating processes: Reachability problems and decidability issues.. Uppsala University, Sweden, (2017)Multi-pushdown systems with budgets., , , и . FMCAD, стр. 24-33. IEEE, (2012)Budget-bounded model-checking pushdown systems., , , и . Formal Methods Syst. Des., 45 (2): 273-301 (2014)Verification of Directed Acyclic Ad Hoc Networks., , и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 193-208. Springer, (2013)MPass: An Efficient Tool for the Analysis of Message-Passing Programs., , , , , и . FACS, том 8997 из Lecture Notes in Computer Science, стр. 198-206. Springer, (2014)On the Verification of Timed Ad Hoc Networks., , , , и . FORMATS, том 6919 из Lecture Notes in Computer Science, стр. 256-270. Springer, (2011)