Recent Advances in Real-Time Maude

From MaRDI portal
Publication:2864519