Please log in if you want to be notified when temporal logic is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever this topic is mentioned in an event.

temporal logic


Temporal logic is mentioned in 15 events. This topic is frequently associated with Angelo Montanari, Carsten Lutz and Alessandro Artale.

about


tracker for temporal logic


November 13, 2008

16th international spin workshop on model checking of software (SPIN 2009) was added.

November 12, 2008

AAAI spring symposium on intelligent event processing 2009 was updated.

October 24, 2008

AAAI spring symposium on intelligent event processing 2009 was updated.

October 9, 2008

AAAI spring symposium on intelligent event processing 2009 was updated.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.