HCM UNSIGNALIZED SAMPLE PROBLEM
Computing Delay with Coupling Using Timed Automata Serdar Tasiran, Yuji Kukimoto, Robert K. Brayton Department of Electrical Engineering & Computer Sciences.
Spring-based Resource Management for End-to-end Services in Next-generation Networks