Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bfb0030650> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- bfb0030650 author2 "Miroslav Adámy".
- bfb0030650 author3 "Thomas Seidmann".
- bfb0030650 doi "10.1007/BFb0030650".
- bfb0030650 first "Luboš".
- bfb0030650 isCitedBy Maplet.
- bfb0030650 journal "Lecture Notes in Computer Science".
- bfb0030650 last "Mikušiak".
- bfb0030650 pages "871–874".
- bfb0030650 series "TAPSOFT '97: Theory and Practice of Software Development".
- bfb0030650 title "Publishing formal specifications in Z notation on world wide web".
- bfb0030650 volume "1214".
- bfb0030650 year "1997".