Girish S. Bhat

From MaRDI portal
Person:1379167


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
Adding partial orders to linear temporal logic
CONCUR '97: Concurrency Theory
2023-05-17Paper
scientific article; zbMATH DE number 1796122 (Why is no real title available?)
 
2002-09-04Paper
scientific article; zbMATH DE number 1337727 (Why is no real title available?)
 
1999-09-16Paper
Balanced Gray codes
The Electronic Journal of Combinatorics
1998-02-22Paper


Research outcomes over time


This page was built for person: Girish S. Bhat