Concepedia

LOTOS Extended with Clocks

Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg

Formal Techniques for (Networked and) Distributed Systems · 1989 · 16 citations · 0 references

Concepts