Appears in Working Notes of the 2nd Workshop on Real-Time Tools August 1, 2002, Copenhagen, Denmark Verier Trace-Directed Backjumping for Controller Synthesis Robert P. Goldman, Michael J. S. Pelican, David J. Musliner

First Page		Document Content
Date: 2008-12-19 05:47:52		Appears in Working Notes of the 2nd Workshop on Real-Time Tools August 1, 2002, Copenhagen, Denmark Verier Trace-Directed Backjumping for Controller Synthesis Robert P. Goldman, Michael J. S. Pelican, David J. Musliner Add to Reading List Source URL: musliner.com Download Document from Source Website File Size: 228,47 KB Share Document on Facebook