|
 | Up a level |
DSouza, D and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, B (2008) On the Decidability of Model Checking Information Flow Properties. In: 4th International Conference on Information Systems Security, ICISS, 16 - 20 December 2008.
D’Souza, Deepak and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, Barbara (2008) On the Decidability of Model-Checking Information Flow Properties. In: ICISS 2008, Hyderabad, 16 - 20 December 2008, Hyderabad.
Holla, R and Deka, N and DSouza, D (2021) On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics. In: Leibniz International Proceedings in Informatics, LIPIcs, 213 .
Madyastha, KM and Chary, NK and Holla, R and Karegowdar, TB (1993) Purification and Partial Characterization of Microsomal NADH-Cytochrome b5 Reductase from Higher Plant Catharanthus roseus. In: Biochemical and Biophysical Research Communications, 197 (2). pp. 518-522.
