https://catalogue-scientifique.canada.ca/record=2157687~S6*frc
george mason univ fairfax va systems architecture lab, 2006
Application of a temporal logic to forensic analysis, especially in answering certain investigative questions related to time-sensitive information, is...
Publication gouvernementale