Discover open access scientific publications

Search, annotate, share and cite publications

Publications by L.M. Kristensen

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs With Symmetries

IEEE Transactions on Parallel and Distributed Systems

Computational Theory

Signal Processing

English