Article citationsMore>>
Gaudel, M.-C., Lassaigne, R., Magniez, F. and de Rougemont, M. (2013) Some Approximations in Model Checking and Testing. arXiv: 1304.5199.
has been cited by the following article:
Related Articles:
-
Flor Magali Aguilar López, Dayana Almeida, Yuri Tavares Rocha, Eliziane Carla Scariot, Waldir José Gaspar, Roberto Bonifaz Alfonzo, Elisabete Maria Zanin, Alberto Carvalho Peret, José Eduardo Dos Santos
-
Jean-Marie Liesse Iyamba, Victoire Marie Hermine Ngo Bassom, Cyprien Mbundu Lukukula, Joseph Welo Unya, Benjamin Kodondi Ngbandani, Grégoire Mbusa Vihembo, Nelson Nsiata Ngoma, José Mulwahali Wambale, Paul Tshilumbu Kantola, N. B. Takaisi-Kikuni
-
Jun Li, Shaun S. Wulff
-
Nadeem Akhtar, Muhammad Nauman
-
Surapol Rochanapratishtha, Wanchai Pijitrojana