Open AccessTime-Abstracting Bisimulation for Markovian Timed Automata
Author(s) -
Mohammadsadegh Mohagheghi,
Hojjat Sharifi
Publication year - 2016
Publication title -
international journal of software engineering and applications
Language(s) - Uncategorized
Resource type - Journals
eISSN - 0976-2221
pISSN - 0975-9018
DOI - 10.5121/ijsea.2016.7403
Subject(s) - bisimulation , automaton , computer science , theoretical computer science , markov process , mathematics , statistics