1
منشور في 2007
جدول المحتويات: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
احصل على النص الكامل
الكتروني كتاب الكتروني