Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Paper
Two results on process logic
Abstract
No abstract available.
Related
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007