Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Martin, William J. Advisor Dougherty, Daniel J.

Model checking for role-based access control

Creator:

Griffel, Eric Michael and Sader, Paul M.

Advisor:

Martin, William J. and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-01-01

Resource Type:

Major Qualifying Project
Graph Decompositions and Monadic Second Order Logic

Keyword:

clique width, Graph Theory, logic, and tree decompositions

Creator:

Adler, Jonathan D

Advisor:

Dougherty, Daniel J. and Martin, William J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-04-27

Resource Type:

Report

Degree:

MS

Unit (Department):

Mathematical Sciences