-
8671
-
8672
-
8673
-
8674
-
8675
-
8676
-
8677
-
8678
-
8679
-
8680
Fluent temporal logic for discrete-time event-based models.
Published in Software engineering notes.Article