Chinmay Narayan

From MaRDI portal
Person:3190140

Available identifiers

zbMath Open narayan.chinmayMaRDI QIDQ3190140

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49924992021-06-09Paper
Reducing Clocks in Timed Automata while Preserving Bisimulation2014-09-15Paper

Research outcomes over time

This page was built for person: Chinmay Narayan