كتاب إلكتروني
Comparison of Different Semantics for Time Petri Nets
| العنوان: | Comparison of Different Semantics for Time Petri Nets |
|---|---|
| المؤلفون: | Bérard, B.Aff18, Cassez, F.Aff19, Haddad, S.Aff18, Lime, DidierAff20, Roux, O. H.Aff19 |
| المساهمون: | Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Peled, Doron A., editorAff16, Tsay, Yih-Kuen, editorAff17 |
| المصدر: | Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings. 3707:293-307 |
| قاعدة البيانات: | Springer Nature eBooks |
Full Text Finder | ردمك: | 9783540292098 9783540319696 |
|---|---|
| DOI: | 10.1007/11562948_23 |