About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Author:
Zhang
remove
Interpreted as:
title:(Fixpoints AND vs AND Moore AND Families)
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
2
Conference paper
Proceedings of Sofsem 2011 — 2012
of a CTL formula can be described as the least element in a Moore family of acceptable sets of states for the static analysis. Turning the attention to the μ-calculus we are able to generalise this result to the alternation-free fragment whereas even for the fragment of alternation depth 2 we show
Year: 2012
Language: English
