View R&D Publication Details

Department

Electrical Engineering & Computer Science

Department

Electrical Engineering & Computer Science

Authors

Arpit Sharma

Title of Article

Non-Bisimulation Based Behavioral Relations for Markov Automata

Title of journal

Year

2018

Volume

LNCS Springer 11022

DOI

Pages

179 -- 196

Keywords

model checking, formal methods

Status

Active

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