Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
May 12, 2015
Publication Date
September 24, 2013
Subject Category
Computer Programming And Software Meeting Information
Meeting: International Conference on Runtime Verification
Location: Rennes
Country: France
Start Date: September 24, 2013
End Date: September 27, 2013
Sponsors: Institut National de Recherche d'Informatique et d'Automatique
Distribution Limits
Public
Keywords
matching problemalgorithmic