المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Raskin, Jean-François, Thiagarajan, P. S., Håkansson, John, Pettersson, Paul

المصدر: Formal Modeling & Analysis of Timed Systems (9783540754534); 2007, p211-226, 16p

المؤلفون: Asarin, Eugene, Bouyer, Patricia, David, Alexandre, Håkansson, John, Larsen, Kim G., Pettersson, Paul

المصدر: Formal Modeling & Analysis of Timed Systems (9783540450269); 2006, p128-142, 15p

المؤلفون: Pettersson, Paul, Wang Yi, Altisen, Karine, Tripakis, Stavros

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p273-288, 16p

المؤلفون: Pettersson, Paul, Wang Yi, Giacobazzi, Roberto, Mastroeni, Isabella

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p289-303, 15p

المؤلفون: Pettersson, Paul, Wang Yi, Fokkink, Wan, Jun Pang, Wijs, Anton

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p258-272, 15p

المؤلفون: Pettersson, Paul, Wang Yi, Bérard, Beatrice, Cassez, Franck, Haddad, Serge, Lime, Didier, Roux, Olivier H.

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p211-225, 15p

المؤلفون: Pettersson, Paul, Wang Yi, Corradini, Flavio, Vogler, Walter

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p242-257, 16p

المؤلفون: Pettersson, Paul, Wang Yi, Henzinger, Thomas A., Majumdar, Rupak, Prabhu, Vinayak S.

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p226-241, 16p

المؤلفون: Pettersson, Paul, Wang Yi, Chatain, Thomas, Jard, Claude

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p196-210, 15p

المؤلفون: Pettersson, Paul, Wang Yi, Aljazzar, Husain, Hermanns, Holger, Leue, Stefan

المصدر: Formal Modeling & Analysis of Timed Systems; 2005, p177-195, 19p