FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Proving properties of a minimal covering algorithm

Authors: Ioannis Filippidis and Richard M. Murray

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Proving properties of a minimal covering algorithm
Authors:Ioannis Filippidis and Richard M. Murray
Proceedings:TLA Papers
Editor: Stephan Merz
Keywords:
Abstract:
Pages:17
Paper: