Concurrent Modelling in LOTOS as a Solution to Real Time Problems.

J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto

Browse the full FORTE paper archive.