edoc-vmtest

Items where Author is "Johnson, Taylor"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed
Jump to: 2016
Number of items: 1.

2016

Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2016) Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions. International journal on software tools for technology transfer, 18 (4). pp. 449-467.

This list was generated on Sun Feb 9 05:10:01 2025 CET.
edoc-vmtest is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.