Technical Reports in 2009

| << 2007 | 2009 | TR Main |

[2009-1]

Analysing Message Sequence Graph Specifications
Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar

[2009-2]

Analysing Message Sequence Graph Specifications
Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar

[2009-3]

[2009-4]

[2009-5]

A Computational Procedure for General-sum Stochastic Games
Prasad H. L., S. Bhatnagar, N. Hemachandra

[2009-7]

Popular Matchings with variable job capacities
Telikepalli Kavitha and Meghana Nasre

[2009-8]

Conflict-Tolerant Specifications in Temporal Logic
Sumesh Divakaran, Deepak D'Souza, Raj Mohan M.

[2009-9]

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic
Sumesh Divakaran, Deepak D'Souza, Raj Mohan M.

| << 2007 | 2009 | TR Main |

Problems ? Contact techrep@csa.iisc.ernet.in

Valid HTML 4.01! [Updated at 2009-10-22T06:42Z]