An efficient algorithm for scheduling verification

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - Feb 2006
Externally published	Yes
Event	International Conference on Emerging Applications of IT - Kolkata, India Duration: 10 Feb 2006 → 11 Feb 2006

Conference	International Conference on Emerging Applications of IT
Period	10/02/06 → 11/02/06

Keywords

@conference{fd861fb2d7c54f219fbc1db34b0ec488,

title = "An efficient algorithm for scheduling verification",

keywords = "Formal methods, Computer science and informatics",

author = "Chris Reade and Chittaranjan Mandal and Dipankar Sarkar",

year = "2006",

month = feb,

language = "English",

note = "International Conference on Emerging Applications of IT ; Conference date: 10-02-2006 Through 11-02-2006",

}