Implementing a Modal Logic over Data and Processes using XTL - Sciweavers

28

click to vote

more FORTE 2001 ...

ftp.inrialpes.fr

Tweet