An algorithm for direct synthesis of formal specifications.
Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni
VenueCRSP
Year1997
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/CarchioloMM97 ↗
Browse the full RSP paper archive.