L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
Hi-index | 0.00 |