DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-46681-0_50,1838,KrCh,Assume-guarantee synthesis for concurrent reactive programs with partial information