Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bfb0032063> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- bfb0032063 chapter "An efficient algorithm for branching bisimulation and stuttering equivalence".
- bfb0032063 doi "10.1007/BFb0032063".
- bfb0032063 editor1First "Michael S.".
- bfb0032063 editor1Last "Paterson".
- bfb0032063 first1 "Jan Friso".
- bfb0032063 first2 "Frits W.".
- bfb0032063 isCitedBy Stuttering_equivalence.
- bfb0032063 isbn "0-387-52826-1".
- bfb0032063 last1 "Groote".
- bfb0032063 last2 "Vaandrager".
- bfb0032063 pages "626–638".
- bfb0032063 publisher Springer-Verlag.
- bfb0032063 series Lecture_Notes_in_Computer_Science.
- bfb0032063 title "Proceedings of the 17th International Colloquium on Automata, Languages and Programming".
- bfb0032063 url summary?doi=10.1.1.140.1834.
- bfb0032063 volume "443".
- bfb0032063 year "1990".