Koleksi

Bundel Jurnal ACM Transactions on Embedded Computing System : Editorial/ Guest Editorial/ Memory-Model-Aware-Testing: A Unified Complexity Analysis/ Action Synthesis for Branching Time Logic: Theory and Applications/ Parametrised Modal Interface Automata/ STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded System/ Failure Semantics for Modal Transition Systems/ Incremental Analysis of Cyclo-Static synchronous Dataflow Graphs/ Diagnosabilitu under Weak Fairness

Shukla, S. K. - Barkaoui, K.; Bernardinello, L.; Mokhov, A. - Furbach, F.; Meyer, R.; Schneider, K.; Senftben, M. - Knapik, M.; Meski, A.; Penczek, W. - Siirtola, A.; Heljanko, K. - Cotard, S.; Queudet, A.; L-Bechennec, J.; Faucou, S.; Trinquet, Y. - Bujtor, F.; Vogler, W. - Groote, R. de; Holzenspies, P. K. F.; Kuper, J.; Smit, G. J. M. - Germanos, V.; Haar, S.; Khomenko, V.; Schwoon, S.

Detail Cantuman Cite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "Knapik, M.; Meski, A.; Penczek, W."

Permintaan membutuhkan 1.8781 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog

Perpustakaan Universitas Katolik Musi Charitas

Koleksi

Hasil Pencarian

Informasi

Advanced Search