المؤلفون: Delporte-Gallet, Carole^Aff10, Fauconnier, Hugues^Aff10, Jurski, Yan^Aff10, Laroussinie, François^Aff10, Sangnier, Arnaud^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Atig, Mohamed Faouzi, editor^Aff8, Schwarzmann, Alexander A., editor^Aff9

المصدر: Networked Systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers. 11704:200-216

المؤلفون: Bouajjani, Ahmed, Dragoi, Cezara, Enea, Constantin, Jurski, Yan, Sighireanu, Mihaela

المصدر: Logical Methods in Computer Science, Volume 5, Issue 2 (April 22, 2009) lmcs:991

مصطلحات موضوعية: Computer Science - Logic in Computer Science, E.1, F.3.1, F.4.1, F.4.3, I.2.2

URL الوصول: http://arxiv.org/abs/0903.3126

المؤلفون: Bouajjani, Ahmed^Aff1, Habermehl, Peter^{Aff1, Aff2}, Jurski, Yan^Aff1, Sighireanu, Mihaela^Aff1

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Csuhaj-Varjú, Erzsébet, editor, Ésik, Zoltán, editor

المصدر: Fundamentals of Computation Theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings. 4639:1-22

المؤلفون: Bouajjani, Ahmed^Aff1, Jurski, Yan^Aff1, Sighireanu, Mihaela^Aff1

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Grumberg, Orna, editor, Huth, Michael, editor

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings. 4424:690-705

المؤلفون: Comon, Hubert^Aff5, Jurski, Yan^Aff5

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Baeten, Jos C. M., editor^Aff4, Mauw, Sjouke, editor^Aff4

المصدر: CONCUR’99 Concurrency Theory : 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings. 1664:242-257

المؤلفون: Comon, Hubert^Aff1, Jurski, Yan^Aff1

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Nielsen, Mogens, editor, Thomas, Wolfgang, editor

المصدر: Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers. 1414:157-176

المؤلفون: Comon, Hubert^Aff1, Jurski, Yan^Aff1

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Hu, Alan J., editor, Vardi, Moshe Y., editor

المصدر: Computer Aided Verification : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. 1427:268-279

المؤلفون: Bouajjani, Ahmed, Drăgoi, Cezara, Jurski, Yan, Sighireanu, Mihaela

مصطلحات موضوعية: 000 Computer science, knowledge, general works, Computer Science::Logic in Computer Science, Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::52d3be398de4eb51b423a9e45e51f3ae

المؤلفون: Bouajjani, Ahmed, Jurski, Yan, Sighireanu, Mihaela

المساهمون: Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Sighireanu, Mihaela

مصطلحات موضوعية: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b680fe793d73ad34daf6fa766b2695e7
https://hal.archives-ouvertes.fr/hal-00129025

المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Grumberg, Orna, Huth, Michael, Bouajjani, Ahmed, Jurski, Yan, Sighireanu, Mihaela

المصدر: Tools & Algorithms for the Construction & Analysis of Systems (9783540712084); 2007, p690-705, 16p