Keith Miller

Affiliations:

St. Francis Xavier University, Centre for Logic and Information, Antigonish, NS, Canada

According to our database¹, Keith Miller authored at least 2 papers between 2009 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

Model checking timed properties of healthcare processes.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2011

2009

Verification of Careflow Management Systems with Timed BDICTL Logic.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2009