Items where Author is "Johnson, Taylor"

Group by: Date | Item Type | Refereed

Jump to: Yes

Number of items: 1.

Yes

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 Fri May 17 04:26:38 2024 CEST.

edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.