Puneet Bhateja

From MaRDI portal
Person:2671815



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Determining asynchronous test equivalence for probabilistic processes
Information Processing Letters
2022-06-03Paper
A Fresh Look at Testing for Asynchronous Communication
Automated Technology for Verification and Analysis
2008-09-04Paper
Local Testing of Message Sequence Charts Is Difficult
Fundamentals of Computation Theory
2008-02-26Paper


Research outcomes over time


This page was built for person: Puneet Bhateja