Skip to Main Content (Press Enter)

Logo UNISS
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze

Logo UNISS

|

UNIFIND

uniss.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze
  1. Pubblicazioni

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors

Capitolo di libro
Data di Pubblicazione:
2023
Citazione:
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors / Brodo, L., Bruni, R., Falaschi, M.. - 13880:(2023), pp. 107-124. [10.1007/978-3-031-24841-2_8]
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Brodo, L.; Bruni, R.; Falaschi, M.
Autori di Ateneo:
BRODO Linda
Link alla scheda completa:
https://iris.uniss.it/handle/11388/332689
Titolo del libro:
Practical Aspects of Declarative Languages
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.7.0.0