Cover Image for System.Linq.Enumerable+EnumerablePartition`1[System.Char]

Synthesising process controllers from formal models of transformable assembly systems

Lavindra de Silva, Paolo Felli, David Sanderson, Jack C Chaplin, Brian Logan, Svetan Ratchev

OAI: oai:www.repository.cam.ac.uk:1810/290851 • DOI: 10.17863/CAM.38045

Published by:

Abstract