Verifying Concurrent Programs using Linear Time Temporal Logic facts

Embed this Topic

Author:

Trung Dong Huynh

Dissertation

Institution:

University of Oxford

Degree:

Master of Science

top ↑

Publishing

Author

Trung Dong Huynh

Date written:

2002

top ↑

We can also tell you Verifying Concurrent Programs using Linear Time Temporal Logic is a…

…Scholarly work

If you know more about Verifying Concurrent Programs using Linear Time Temporal Logic, you can add more facts here »

You can help improve this topic by adding more facts here

Edit this topic

Last edited Jan 19, 2009 See all topic history »

Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Flag this Topic

Why do you want to flag this topic?

Freebase data is free for use under the CC-BY license.

Learn more about Freebase licensing and attribution

Verifying Concurrent Programs using Linear Time Temporal Logic