Improving the Efficiency of Synchronized Product with Infinite Transition Systems.
Yuliia Romenska, Frdric Mallet
VenueNationalICTERI
Year2013
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/RomenskaM13a ↗
Browse the full ICTERI paper archive.