Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920 first "Sören".
- 24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920 isCitedBy Hennessy–Milner_logic.
- 24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920 journal "Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems".
- 24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920 last "Holmström".
- 24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920 pages "294–330".
- 24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920 title "Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It".
- 24795bc179d2f2b25195d060b264469aafef35bcf9aeb581cbf5d5f0b25d6920 year "1990".