MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
Interfaces for stack inspection
Journal of Functional Programming
Search-order independent state caching
Transactions on Petri nets and other models of concurrency IV
Constructive finite trace analysis with linear temporal logic
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Hi-index | 0.00 |