A modeling strategy for hybrid systems based on event structures

From MaRDI portal
Publication:1801470