An Alternative Semantics for Timed Automata with Independent Clocks

Résultats de recherche: Contribution à un événement scientifique (non publié)RésuméRevue par des pairs

44 Téléchargements (Pure)

Résultats de recherche