BibTeX record conf/ds/SolvbergK85

download as .bib file

@inproceedings{DBLP:conf/ds/SolvbergK85,
  author    = {Arne S{\o}lvberg and
               David Chenho Kung},
  title     = {On Structural and Behavioral Modeling of Reality},
  booktitle = {{DS-1}},
  pages     = {205--221},
  publisher = {North-Holland},
  year      = {1985}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics