المؤلفون: Tsay, Yih-Kuen^Aff11, Vardi, Moshe Y.^Aff12

المساهمون: 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, Aff9}, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Olderog, Ernst-Rüdiger, editor^Aff8, Yi, Wang, editor^Aff10

المصدر: Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. 13030:8-40

المؤلفون: Jantsch, Simon^{Aff1, IDs1070302100379z_cor1}, Müller, David, Baier, Christel, Klein, Joachim

المصدر: Formal Methods in System Design: An International Journal. 58(1-2):42-82

المؤلفون: Sawhney, Pratibha, Ganesh, G., Bhattacharjee, A.K.

المصدر: 2011 International Symposium on Electronic System Design Electronic System Design (ISED), 2011 International Symposium on. :164-169 Dec, 2011

Relation: 2011 International Symposium on Electronic System Design (ISED)

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Hospodár, Michal^Aff15, Jirásková, Galina^Aff15, Krajňáková, Ivana^Aff15

المساهمون: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Fomin, Fedor V., editor^Aff13, Podolskii, Vladimir V., editor^Aff14

المصدر: Computer Science – Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. 10846:181-193

المؤلفون: Michalewski, Henryk^{Aff18, Aff19}, Niwiński, Damian^Aff19

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Constable, Robert L., editor^Aff16, Silva, Alexandra, editor^Aff17

المصدر: Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. 7230:165-179

المؤلفون: Jin, Naiyong^Aff3, Zhu, Huibiao^Aff3

المساهمون: Margaria, Tiziana, editor^Aff1, Steffen, Bernhard, editor^Aff2

المصدر: Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 17:237-251

المؤلفون: Duparc, Jacques^Aff1, Facchini, Alessandro^{Aff1, Aff2}

المساهمون: 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, Beckmann, Arnold, editor, Dimitracopoulos, Costas, editor, Löwe, Benedikt, editor

المصدر: Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings. 5028:186-195

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Visser, W.^Aff2, Barringer, H.^Aff2, Fellows, D.^Aff2, Gough, G.^Aff2, Williams, A.^Aff2

المساهمون: Li, Hon F., editor^Aff1, Probst, David K., editor^Aff1

المصدر: Advances in Hardware Design and Verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16–18 October 1997, Montreal, Canada. :128-145