Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.

Indranil Saha, Suman Roy, Kuntal Chakraborty

Browse the full SEFM paper archive.