A Temporal Logic for Network Flow Analysis

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2010
Accession Number
ADA631135

Entities

People

  • Tim Shimeall

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Contracts
  • Copyrights
  • Engineering
  • Governments
  • Guarantees
  • Information Operations
  • Law
  • Materials
  • Motivation
  • Reasoning
  • Semantics
  • Software Development
  • Trademarks
  • United States
  • Universities