Artikel,

An Axiomatization of a First-order Branching Time Temporal Logic.

, , und .
J. UCS, 16 (11): 1439-1451 (2010)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen