Modula-3: The Modelling and Implementation of an Industrial Production Cell. Rüping, A. & Sekerinski, E. In Lewerentz, C. & Lindner, T., editors, Case Study Production Cell - A Comparative Study in Formal Software Development, volume 1, pages 357–371. FZI Publication, 1994. bibtex @incollection{RupingSekerinski95Modula3Report,
title = {Modula-3: {The} {Modelling} and {Implementation} of an {Industrial} {Production} {Cell}},
volume = {1},
booktitle = {Case {Study} {Production} {Cell} - {A} {Comparative} {Study} in {Formal} {Software} {Development}},
publisher = {FZI Publication},
author = {Rüping, A. and Sekerinski, E.},
editor = {Lewerentz, C. and Lindner, Th.},
year = {1994},
pages = {357--371},
}
Downloads: 0
{"_id":"c27PcdMaPxBYAT3PJ","bibbaseid":"rping-sekerinski-modula3themodellingandimplementationofanindustrialproductioncell-1994","author_short":["Rüping, A.","Sekerinski, E."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Modula-3: The Modelling and Implementation of an Industrial Production Cell","volume":"1","booktitle":"Case Study Production Cell - A Comparative Study in Formal Software Development","publisher":"FZI Publication","author":[{"propositions":[],"lastnames":["Rüping"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Lewerentz"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Lindner"],"firstnames":["Th."],"suffixes":[]}],"year":"1994","pages":"357–371","bibtex":"@incollection{RupingSekerinski95Modula3Report,\n\ttitle = {Modula-3: {The} {Modelling} and {Implementation} of an {Industrial} {Production} {Cell}},\n\tvolume = {1},\n\tbooktitle = {Case {Study} {Production} {Cell} - {A} {Comparative} {Study} in {Formal} {Software} {Development}},\n\tpublisher = {FZI Publication},\n\tauthor = {Rüping, A. and Sekerinski, E.},\n\teditor = {Lewerentz, C. and Lindner, Th.},\n\tyear = {1994},\n\tpages = {357--371},\n}\n\n","author_short":["Rüping, A.","Sekerinski, E."],"editor_short":["Lewerentz, C.","Lindner, T."],"key":"RupingSekerinski95Modula3Report","id":"RupingSekerinski95Modula3Report","bibbaseid":"rping-sekerinski-modula3themodellingandimplementationofanindustrialproductioncell-1994","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["modula","modelling","implementation","industrial","production","cell","rüping","sekerinski"],"title":"Modula-3: The Modelling and Implementation of an Industrial Production Cell","year":1994}