The logic of event clocks

von Raskin, Jean-François
Veröffentlicht 1999

Proving a conjecture of Andreka on temporal logic

von Raskin, Jean-François
Veröffentlicht 1999

Proving a conjecture of Andreka on temporal logic

von Raskin, Jean-François
Veröffentlicht 1999

The logic of event clocks

von Raskin, Jean-François
Veröffentlicht 1999

Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts

von Amrani, Moussa
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

Axioms for real-time logics

von Henzinger, Thomas
Veröffentlicht 1999

Fully decidable logics, automata and classical theories for defining regular real-time languages

von Henzinger, Thomas
Veröffentlicht 1999

Axioms for real-time logics

von Henzinger, Thomas
Veröffentlicht 1999

Fully decidable logics, automata and classical theories for defining regular real-time languages

von Henzinger, Thomas
Veröffentlicht 1999

Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

Veröffentlicht 2007