Search results for: Shankara Narayanan Krishna
Theoretical Computer Science > 2017 > 701 > C > 146-160
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 4: Verification and Testing > 225-239
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Bio-inspired Computing > 301-312
Lecture Notes in Computer Science > DNA Computing > 181-192
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed Automata and Duration Calculus > 246-260
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 444-456
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 78-92
Lecture Notes in Computer Science > Unconventional Models of Computation > Contributed Papers > 208-219
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Invited Talks > 1-14