View R&D Publication Details

Department

Electrical Engineering & Computer Science

Department

Electrical Engineering & Computer Science

Authors

Arpit Sharma

Title of Article

Trace Relations and Logical Preservation for Markov Automata

Title of journal

Year

2018

Volume

LNCS Springer 11022

DOI

Pages

162 -- 178

Keywords

model checking, formal methods

Status

Active

Copyright © 2016 Indian Institute of Science Education and Research Bhopal. All rights reserved