25,161
edits
Changes
no edit summary
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1988'''). ''Characterizing Finite Kripke Structures in Propositional Temporal Logic''. [https://en.wikipedia.org/wiki/Theoretical_Computer_Science_(journal) Theoretical Computer Science], Vol. 59
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1989'''). ''Reasoning about Networks with Many Identical Finite State Processes''. [https://en.wikipedia.org/wiki/Information_and_Computation Information and Computation], Vol. 81, No. 1
* [[Mike Browne|Michael Browne]] ('''1989'''). ''Automatic Verification of Finite State Machines Using Temporal Logic''. Ph.D. thesis, [[Carnegie Mellon University]], advisor [[Mathematician#EMClarke|Edmund M. Clarke]]
==1990 ...==
* [[Andreas Nowatzyk]], [https://dblp.uni-trier.de/pers/hd/a/Aybay:Gunes Günes Aybay], [[Mike Browne|Michael Browne]], [https://dblp.uni-trier.de/pers/hd/k/Kelly:Edmund_J= Edmund J. Kelly], [https://dblp.uni-trier.de/pers/hd/p/Parkin:Michael Michael Parkin], [https://dblp.uni-trier.de/pers/hd/r/Radke:Bill Bill Radke], [https://dblp.uni-trier.de/pers/hd/v/Vishin:Sanjay Sanjay Vishin] ('''1995'''). ''Exploiting Parallelism in Cache Coherency Protocol Engines''. [https://link.springer.com/book/10.1007%2FBFb0020448 Euro-Par '95], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNCS], Vol. 966, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
