Symbolic System Time in Distributed Systems Testing.

Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle

Browse the full ICST paper archive.