Login / Signup
Jason Leasure
Publication Activity (10 Years)
Years Active: 2000-2017
Publications (10 Years): 1
Top Topics
Coalition Logic
Automated Verification
Model Checking
Timed Automata
Top Venues
CoRR
</>
Publications
</>
Arlen Cox
,
Jason Leasure
Model Checking Regular Language Constraints.
CoRR
(2017)
Lori Fern
,
Gary Gordon
,
Jason Leasure
,
Sharon Pronchik
Matroid Automorphisms And Symmetry Groups.
Comb. Probab. Comput.
9 (2) (2000)