A useful four-valued extension of the temporal logic KtT4

Vincent Degauquier

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

Empreinte digitale

Examiner les sujets de recherche de « A useful four-valued extension of the temporal logic KtT4 ». Ensemble, ils forment une empreinte digitale unique.