Julian Bradfield (bradfield)

Contributions to Philosophie.ch

Bibliography

Bradfield, Julian and Stirling, Colin. 1992. “Local Model Checking for Infinite State Spaces.” Theoretical Computer Science 96: 157–174.
Bradfield, Julian and Stirling, Colin. n.d. “Modal Logic for Processes.” Unpublished manuscript.