[{"citation":{"apa":"Aisch, H., Joosten, M., Müller, W., &#38; Buijs, F. (1996). <i>Interaktiver Produktdatenaustausch mit EDIFACT</i>.","short":"H. Aisch, M. Joosten, W. Müller, F. Buijs, (1996).","mla":"Aisch, H., et al. <i>Interaktiver Produktdatenaustausch Mit EDIFACT</i>. 1996.","bibtex":"@article{Aisch_Joosten_Müller_Buijs_1996, place={Kaiserslautern}, series={Tagungsband: CAD’96}, title={Interaktiver Produktdatenaustausch mit EDIFACT}, author={Aisch, H. and Joosten, M. and Müller, Wolfgang and Buijs, F.}, year={1996}, collection={Tagungsband: CAD’96} }","chicago":"Aisch, H., M. Joosten, Wolfgang Müller, and F. Buijs. “Interaktiver Produktdatenaustausch Mit EDIFACT.” Tagungsband: CAD’96. Kaiserslautern, 1996.","ieee":"H. Aisch, M. Joosten, W. Müller, and F. Buijs, “Interaktiver Produktdatenaustausch mit EDIFACT.” Kaiserslautern, 1996.","ama":"Aisch H, Joosten M, Müller W, Buijs F. Interaktiver Produktdatenaustausch mit EDIFACT. Published online 1996."},"place":"Kaiserslautern","year":"1996","date_created":"2023-01-24T11:52:49Z","author":[{"full_name":"Aisch, H.","last_name":"Aisch","first_name":"H."},{"first_name":"M.","last_name":"Joosten","full_name":"Joosten, M."},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"first_name":"F.","full_name":"Buijs, F.","last_name":"Buijs"}],"date_updated":"2023-01-24T11:52:53Z","title":"Interaktiver Produktdatenaustausch mit EDIFACT","type":"conference","status":"public","user_id":"5786","series_title":"Tagungsband: CAD'96","department":[{"_id":"672"}],"_id":"39513","language":[{"iso":"eng"}]},{"keyword":["Animation","Layout","Computer languages","Visualization","Observability","Stability","Runtime","Costs","Graphics","Hardware"],"language":[{"iso":"eng"}],"_id":"39521","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"lang":"eng","text":"Investigates the integration of an interactive constraint solver into an existing 2D real-time animation environment in order to achieve a better observability, traceability and stability of the individual graphical objects. We present two approaches for assigning constraints to the objects. The first approach assigns constraints to the objects when they are created, keeping them stable during their entire life-time. The second approach dynamically changes constraints before the computation of each frame. The investigation is based on our practical experience with the complete visual programming language Pictorial Janus and the parallel constraint solver Parcon."}],"status":"public","type":"conference","publication":"Proceedings of the 1996 IEEE Symposium on Visual Languages","title":"Integrating a Constraint Solver into a Real-Time Animation Environment","doi":"10.1109/VL.1996.545262","date_updated":"2023-01-24T11:56:30Z","date_created":"2023-01-24T11:56:25Z","author":[{"first_name":"P.","last_name":"Griebel","full_name":"Griebel, P."},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Tahedl","full_name":"Tahedl, C.","first_name":"C."},{"last_name":"Uhr","full_name":"Uhr, H.","first_name":"H."}],"year":"1996","place":"Boulder CO","citation":{"short":"P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.","mla":"Griebel, P., et al. “Integrating a Constraint Solver into a Real-Time Animation Environment.” <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>.","bibtex":"@inproceedings{Griebel_Lehrenfeld_Müller_Tahedl_Uhr_1996, place={Boulder CO}, title={Integrating a Constraint Solver into a Real-Time Animation Environment}, DOI={<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Griebel, P. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C. and Uhr, H.}, year={1996} }","apa":"Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., &#38; Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1996.545262\">https://doi.org/10.1109/VL.1996.545262</a>","ama":"Griebel P, Lehrenfeld G, Müller W, Tahedl C, Uhr H. Integrating a Constraint Solver into a Real-Time Animation Environment. In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996. doi:<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>","ieee":"P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, and H. Uhr, “Integrating a Constraint Solver into a Real-Time Animation Environment,” 1996, doi: <a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>.","chicago":"Griebel, P., Georg Lehrenfeld, Wolfgang Müller, C. Tahedl, and H. Uhr. “Integrating a Constraint Solver into a Real-Time Animation Environment.” In <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. Boulder CO, 1996. <a href=\"https://doi.org/10.1109/VL.1996.545262\">https://doi.org/10.1109/VL.1996.545262</a>."},"publication_identifier":{"isbn":["0-8186-7508-X"]}},{"citation":{"bibtex":"@inproceedings{Dücker_Lehrenfeld_Müller_1996, place={Budapest, Hungary}, title={Specification and Analysis of Concurrent Systems in a Complete Visual Environment}, booktitle={Proceedings of the 10th European Simulation Multiconference (ESM’96)}, author={Dücker, Marita and Lehrenfeld, Georg and Müller, Wolfgang}, year={1996} }","mla":"Dücker, Marita, et al. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” <i>Proceedings of the 10th European Simulation Multiconference (ESM’96)</i>, 1996.","short":"M. Dücker, G. Lehrenfeld, W. Müller, in: Proceedings of the 10th European Simulation Multiconference (ESM’96), Budapest, Hungary, 1996.","apa":"Dücker, M., Lehrenfeld, G., &#38; Müller, W. (1996). Specification and Analysis of Concurrent Systems in a Complete Visual Environment. <i>Proceedings of the 10th European Simulation Multiconference (ESM’96)</i>.","ama":"Dücker M, Lehrenfeld G, Müller W. Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In: <i>Proceedings of the 10th European Simulation Multiconference (ESM’96)</i>. ; 1996.","chicago":"Dücker, Marita, Georg Lehrenfeld, and Wolfgang Müller. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” In <i>Proceedings of the 10th European Simulation Multiconference (ESM’96)</i>. Budapest, Hungary, 1996.","ieee":"M. Dücker, G. Lehrenfeld, and W. Müller, “Specification and Analysis of Concurrent Systems in a Complete Visual Environment,” 1996."},"year":"1996","place":"Budapest, Hungary","author":[{"last_name":"Dücker","full_name":"Dücker, Marita","first_name":"Marita"},{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-24T11:54:18Z","date_updated":"2023-01-24T11:54:23Z","title":"Specification and Analysis of Concurrent Systems in a Complete Visual Environment","publication":"Proceedings of the 10th European Simulation Multiconference (ESM'96)","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"5786","_id":"39517","language":[{"iso":"eng"}]},{"publication":"Proceedings of the 1996 IEEE Symposium on Visual Languages","type":"conference","status":"public","abstract":[{"text":"The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39526","language":[{"iso":"eng"}],"keyword":["Computer integrated manufacturing","Job shop scheduling","Processor scheduling","Computer languages","Control system synthesis","Computer aided manufacturing","Sorting","Assembly","Costs","Control systems"],"publication_identifier":{"isbn":["0-8186-7508-X"]},"citation":{"ieee":"C. Geiger <i>et al.</i>, “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: <a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>.","chicago":"Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J.  Quintanilla, C.  Tahedl, and A. Weber. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” In <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. Boulder, CO, USA, 1996. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>.","ama":"Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996. doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>","bibtex":"@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996, place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J.  and Tahedl, C.  and Weber, A.}, year={1996} }","short":"C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.","mla":"Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>.","apa":"Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., &#38; Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>"},"place":"Boulder, CO, USA","year":"1996","date_created":"2023-01-24T11:58:56Z","author":[{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"last_name":"Hunstock","full_name":"Hunstock, R.","first_name":"R."},{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"first_name":"J. ","full_name":"Quintanilla, J. ","last_name":"Quintanilla"},{"first_name":"C. ","last_name":"Tahedl","full_name":"Tahedl, C. "},{"first_name":"A.","full_name":"Weber, A.","last_name":"Weber"}],"date_updated":"2023-01-24T11:59:01Z","doi":"10.1109/VL.1996.545302","title":"Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing"},{"language":[{"iso":"eng"}],"keyword":["Transition Rule     Formal Verification     Variable Assignment     Kernel Process     Simulation Cycle"],"department":[{"_id":"672"}],"user_id":"5786","_id":"34448","status":"public","abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantic definition for VHDL corresponding to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our specification defines an abstract VHDL ’ 93 interpreter in the form of transition rules for an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports the view of simulation given in the IEEE VHDL ’ 93 standard language reference manual. The definition can be understood without any prior formal training. We illustrate our definition by running the example VHDL program set out in the Introduction to this volume."}],"editor":[{"last_name":"Delgado Kloos","full_name":"Delgado Kloos, C.","first_name":"C."},{"full_name":"Breuer, Peter T.","last_name":"Breuer","first_name":"Peter T."}],"publication":"Semantics of VHDL","type":"book_chapter","doi":"10.1007/978-1-4615-2237-9_5","title":"A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines","date_created":"2022-12-15T11:42:48Z","author":[{"first_name":"Egon","full_name":"Börger, Egon","last_name":"Börger"},{"last_name":"Glässer","full_name":"Glässer, Uwe","first_name":"Uwe"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publisher":"Kluwer Academic Publishers","date_updated":"2022-12-15T11:43:14Z","page":"107 - 139","citation":{"bibtex":"@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>}, booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer, Peter T.}, year={1995}, pages={107–139} }","mla":"Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>.","short":"E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.","apa":"Börger, E., Glässer, U., &#38; Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &#38; P. T. Breuer (Eds.), <i>Semantics of VHDL</i> (pp. 107–139). Kluwer Academic Publishers. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>","chicago":"Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” In <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>.","ieee":"E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines,” in <i>Semantics of VHDL</i>, C. Delgado Kloos and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.","ama":"Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. <i>Semantics of VHDL</i>. Kluwer Academic Publishers; 1995:107-139. doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>"},"place":"Dordrecht","year":"1995","publication_identifier":{"isbn":["978-1-4615-2237-9"]}},{"place":"Greenville, South Carolina","year":"1995","citation":{"ama":"Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files. In: <i>Proceedings of the 4th EXPRESS User’s Group</i>. ; 1995.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Conformance Tests of Very Large STEP Files.” In <i>Proceedings of the 4th EXPRESS User’s Group</i>. Greenville, South Carolina, 1995.","ieee":"G. Lehrenfeld, W. Müller, and N. Wiechers, “Conformance Tests of Very Large STEP Files,” 1995.","apa":"Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1995). Conformance Tests of Very Large STEP Files. <i>Proceedings of the 4th EXPRESS User’s Group</i>.","bibtex":"@inproceedings{Lehrenfeld_Müller_Wiechers_1995, place={Greenville, South Carolina}, title={Conformance Tests of Very Large STEP Files}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1995} }","mla":"Lehrenfeld, Georg, et al. “Conformance Tests of Very Large STEP Files.” <i>Proceedings of the 4th EXPRESS User’s Group</i>, 1995.","short":"G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995."},"title":"Conformance Tests of Very Large STEP Files","date_updated":"2023-01-24T12:02:16Z","date_created":"2023-01-24T12:02:10Z","author":[{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"N.","last_name":"Wiechers","full_name":"Wiechers, N."}],"status":"public","type":"conference","publication":"Proceedings of the 4th EXPRESS User's Group","language":[{"iso":"eng"}],"_id":"39532","user_id":"5786","department":[{"_id":"672"}]},{"date_created":"2023-01-24T12:04:02Z","author":[{"full_name":"Zhao, R.","last_name":"Zhao","first_name":"R."},{"last_name":"Kaufmann","full_name":"Kaufmann, H. J.","first_name":"H. J."},{"first_name":"T.","full_name":"Kern, T.","last_name":"Kern"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T12:04:06Z","conference":{"name":"6th Human-Computer Interaction International","location":"Tokyo, Japan"},"title":"Pen-based Interfaces for Engineering Environments","citation":{"apa":"Zhao, R., Kaufmann, H. J., Kern, T., &#38; Müller, W. (1995). <i>Pen-based Interfaces for Engineering Environments</i>. 6th Human-Computer Interaction International, Tokyo, Japan.","mla":"Zhao, R., et al. <i>Pen-Based Interfaces for Engineering Environments</i>. 1995.","bibtex":"@inproceedings{Zhao_Kaufmann_Kern_Müller_1995, title={Pen-based Interfaces for Engineering Environments}, author={Zhao, R. and Kaufmann, H. J. and Kern, T. and Müller, Wolfgang}, year={1995} }","short":"R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.","ama":"Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering Environments. In: ; 1995.","ieee":"R. Zhao, H. J. Kaufmann, T. Kern, and W. Müller, “Pen-based Interfaces for Engineering Environments,” presented at the 6th Human-Computer Interaction International, Tokyo, Japan, 1995.","chicago":"Zhao, R., H. J. Kaufmann, T. Kern, and Wolfgang Müller. “Pen-Based Interfaces for Engineering Environments,” 1995."},"year":"1995","department":[{"_id":"672"}],"user_id":"5786","_id":"39535","language":[{"iso":"eng"}],"type":"conference","status":"public"},{"keyword":["Animation","Timing","Debugging","Ethernet networks","Multiaccess communication","Protocols","Computer languages","Prototypes","Environmental management","Visualization"],"language":[{"iso":"eng"}],"_id":"39541","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"lang":"eng","text":"We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification."}],"status":"public","type":"conference","publication":"Proceedings of Symposium on Visual Languages","title":"Transforming SDL Diagrams Into a Complete Visual Representation","doi":"10.1109/VL.1995.520803","date_updated":"2023-01-24T12:07:33Z","author":[{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"last_name":"Tahedl","full_name":"Tahedl, C.","first_name":"C."}],"date_created":"2023-01-24T12:07:26Z","year":"1995","place":" Darmstadt, Germany ","citation":{"ieee":"G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: <a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In <i>Proceedings of Symposium on Visual Languages</i>.  Darmstadt, Germany , 1995. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>.","ama":"Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: <i>Proceedings of Symposium on Visual Languages</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>","short":"G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages,  Darmstadt, Germany , 1995.","mla":"Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” <i>Proceedings of Symposium on Visual Languages</i>, 1995, doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>.","bibtex":"@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }","apa":"Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. <i>Proceedings of Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>"},"publication_identifier":{"isbn":["0-8186-7045-2"]}},{"language":[{"iso":"eng"}],"_id":"39546","user_id":"5786","series_title":"CENELEC Technical Report R117-003:1995","department":[{"_id":"672"}],"status":"public","type":"conference","title":"Validation of EXPRESS Models","date_updated":"2023-01-24T12:10:37Z","author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"last_name":"Wiechers","full_name":"Wiechers, N.","first_name":"N."}],"date_created":"2023-01-24T12:10:32Z","year":"1995","citation":{"bibtex":"@article{Müller_Lehrenfeld_Wiechers_1995, series={CENELEC Technical Report R117-003:1995}, title={Validation of EXPRESS Models}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1995}, collection={CENELEC Technical Report R117-003:1995} }","short":"W. Müller, G. Lehrenfeld, N. Wiechers, (1995).","mla":"Müller, Wolfgang, et al. <i>Validation of EXPRESS Models</i>. 1995.","apa":"Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1995). <i>Validation of EXPRESS Models</i>.","ieee":"W. Müller, G. Lehrenfeld, and N. Wiechers, “Validation of EXPRESS Models.” 1995.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Validation of EXPRESS Models.” CENELEC Technical Report R117-003:1995, 1995.","ama":"Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published online 1995."}},{"place":"Greenville, South Carolina","year":"1995","citation":{"chicago":"Müller, Wolfgang, W. Felser, and F. Buijs. “Guide to EXPRESS-P.” In <i>Proceedings of the 4th EXPRESS User’s Group</i>. Greenville, South Carolina, 1995.","ieee":"W. Müller, W. Felser, and F. Buijs, “Guide to EXPRESS-P,” 1995.","ama":"Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: <i>Proceedings of the 4th EXPRESS User’s Group</i>. ; 1995.","mla":"Müller, Wolfgang, et al. “Guide to EXPRESS-P.” <i>Proceedings of the 4th EXPRESS User’s Group</i>, 1995.","bibtex":"@inproceedings{Müller_Felser_Buijs_1995, place={Greenville, South Carolina}, title={Guide to EXPRESS-P}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Müller, Wolfgang and Felser, W. and Buijs, F.}, year={1995} }","short":"W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.","apa":"Müller, W., Felser, W., &#38; Buijs, F. (1995). Guide to EXPRESS-P. <i>Proceedings of the 4th EXPRESS User’s Group</i>."},"date_updated":"2023-01-24T12:00:34Z","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Felser","full_name":"Felser, W.","first_name":"W."},{"first_name":"F.","full_name":"Buijs, F.","last_name":"Buijs"}],"date_created":"2023-01-24T12:00:28Z","title":"Guide to EXPRESS-P","publication":"Proceedings of the 4th EXPRESS User's Group","type":"conference","abstract":[{"lang":"eng","text":"Greenville, South Carolina"}],"status":"public","_id":"39531","department":[{"_id":"672"}],"user_id":"5786","language":[{"iso":"eng"}]},{"date_updated":"2023-01-24T12:05:59Z","author":[{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"first_name":"C.","last_name":"Tahedl","full_name":"Tahedl, C."}],"date_created":"2023-01-24T12:05:55Z","title":"Complete Visual Specification and Animations of Protocols","doi":"10.1109/ASPDAC.1995.486383","publication_identifier":{"isbn":["4-930813-67-0"]},"year":"1995","place":"Chiba, Japan ","citation":{"apa":"Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>","short":"W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.","bibtex":"@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }","mla":"Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","ama":"Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>","ieee":"W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. Chiba, Japan , 1995. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>."},"_id":"39538","department":[{"_id":"672"}],"user_id":"5786","keyword":["Animation","Protocols","Timing","Computer languages","Electronic mail","Context modeling","Visualization","Control systems","Flow graphs","Trademarks"],"language":[{"iso":"eng"}],"publication":"Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair","type":"conference","abstract":[{"text":"This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.","lang":"eng"}],"status":"public"},{"status":"public","publication":"Proceedings of the 5th EXPRESS User's Group","type":"conference","language":[{"iso":"eng"}],"_id":"39543","department":[{"_id":"672"}],"user_id":"5786","place":"Grenoble","year":"1995","citation":{"chicago":"Zhao, R., Wolfgang Müller, H. J. Kaufmann, Th. Kern, and F. Buijs. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” In <i>Proceedings of the 5th EXPRESS User’s Group</i>. Grenoble, 1995.","ieee":"R. Zhao, W. Müller, H. J. Kaufmann, Th. Kern, and F. Buijs, “An Editor for the Rapid Prototyping of EXPRESS-G Models,” 1995.","ama":"Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping of EXPRESS-G Models. In: <i>Proceedings of the 5th EXPRESS User’s Group</i>. ; 1995.","apa":"Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., &#38; Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. <i>Proceedings of the 5th EXPRESS User’s Group</i>.","bibtex":"@inproceedings{Zhao_Müller_Kaufmann_Kern_Buijs_1995, place={Grenoble}, title={An Editor for the Rapid Prototyping of EXPRESS-G Models}, booktitle={Proceedings of the 5th EXPRESS User’s Group}, author={Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}, year={1995} }","short":"R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of the 5th EXPRESS User’s Group, Grenoble, 1995.","mla":"Zhao, R., et al. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” <i>Proceedings of the 5th EXPRESS User’s Group</i>, 1995."},"title":"An Editor for the Rapid Prototyping of EXPRESS-G Models","date_updated":"2023-01-24T12:09:19Z","date_created":"2023-01-24T12:09:13Z","author":[{"full_name":"Zhao, R.","last_name":"Zhao","first_name":"R."},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"H. J.","last_name":"Kaufmann","full_name":"Kaufmann, H. J."},{"first_name":"Th.","last_name":"Kern","full_name":"Kern, Th."},{"first_name":"F.","last_name":"Buijs","full_name":"Buijs, F."}]},{"citation":{"mla":"Müller, Wolfgang, et al. <i>The Process Modeling Language EXPRESS-P</i>. 1995.","short":"W. Müller, W. Felser, N. Wiechers, (1995).","bibtex":"@article{Müller_Felser_Wiechers_1995, place={Paderborn, Germany}, series={ISO TC184/SC4/WG5, N230, Cadlab}, title={The Process Modeling Language EXPRESS-P}, author={Müller, Wolfgang and Felser, W. and Wiechers, N.}, year={1995}, collection={ISO TC184/SC4/WG5, N230, Cadlab} }","apa":"Müller, W., Felser, W., &#38; Wiechers, N. (1995). <i>The Process Modeling Language EXPRESS-P</i>.","chicago":"Müller, Wolfgang, W. Felser, and N. Wiechers. “The Process Modeling Language EXPRESS-P.” ISO TC184/SC4/WG5, N230, Cadlab. Paderborn, Germany, 1995.","ieee":"W. Müller, W. Felser, and N. Wiechers, “The Process Modeling Language EXPRESS-P.” Paderborn, Germany, 1995.","ama":"Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published online 1995."},"place":"Paderborn, Germany","year":"1995","title":"The Process Modeling Language EXPRESS-P","date_created":"2023-01-24T12:12:01Z","author":[{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Felser","full_name":"Felser, W.","first_name":"W."},{"first_name":"N.","last_name":"Wiechers","full_name":"Wiechers, N."}],"date_updated":"2023-01-24T12:12:05Z","status":"public","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"series_title":"ISO TC184/SC4/WG5, N230, Cadlab","user_id":"5786","_id":"39550"},{"citation":{"ieee":"W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.” Paderborn, Germany, 1994.","chicago":"Felser, W., and Wolfgang Müller. “EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung.” CAD94. Paderborn, Germany, 1994.","ama":"Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.","bibtex":"@article{Felser_Müller_1994, place={Paderborn, Germany}, series={CAD94}, title={EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}, author={Felser, W. and Müller, Wolfgang}, year={1994}, collection={CAD94} }","mla":"Felser, W., and Wolfgang Müller. <i>EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung</i>. 1994.","short":"W. Felser, W. Müller, (1994).","apa":"Felser, W., &#38; Müller, W. (1994). <i>EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung</i>."},"year":"1994","place":"Paderborn, Germany","title":"EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung","author":[{"first_name":"W.","full_name":"Felser, W.","last_name":"Felser"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-24T12:14:51Z","date_updated":"2023-01-24T12:14:56Z","status":"public","type":"conference","language":[{"iso":"eng"}],"user_id":"5786","series_title":"CAD94","department":[{"_id":"672"}],"_id":"39557"},{"language":[{"iso":"eng"}],"_id":"39560","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"lang":"eng","text":"In this paper we present a novel approach to the layout problem of dimensional graph based dia grams We introduce a framework for e ciently solving constrained layout problems encompassing geometrical and graph based algorithms especially dedicated to the generation of diagrams These concepts as well as the aesthetics for the read ability of diagrams are presented by introducing FADE FADE is a user parametrizable frame work for the generation of EXPRESS G diagrams Our present implementation is discussed consider ing extensions to other classes of graphs and layout problems Additionally competitive approaches in this domain and their limitations are critically reviewed."}],"status":"public","type":"conference","publication":"Proceedings of the 17th Annual Computer Science Conference","title":"FADE: A Layout Facility for Graph-Based Diagrams","date_updated":"2023-01-24T12:17:02Z","author":[{"first_name":"Josef","last_name":"Eikerling","full_name":"Eikerling, Josef"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-24T12:16:20Z","place":"Christchurch, New Zealand","year":"1994","citation":{"apa":"Eikerling, J., &#38; Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. <i>Proceedings of the 17th Annual Computer Science Conference</i>, 331–342.","bibtex":"@inproceedings{Eikerling_Müller_1994, place={Christchurch, New Zealand}, title={FADE: A Layout Facility for Graph-Based Diagrams}, booktitle={Proceedings of the 17th Annual Computer Science Conference}, author={Eikerling, Josef and Müller, Wolfgang}, year={1994}, pages={331–342} }","mla":"Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” <i>Proceedings of the 17th Annual Computer Science Conference</i>, 1994, pp. 331–42.","short":"J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.","ieee":"J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,” in <i>Proceedings of the 17th Annual Computer Science Conference</i>, 1994, pp. 331–342.","chicago":"Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” In <i>Proceedings of the 17th Annual Computer Science Conference</i>, 331–42. Christchurch, New Zealand, 1994.","ama":"Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: <i>Proceedings of the 17th Annual Computer Science Conference</i>. ; 1994:331-342."},"page":"331-342"},{"_id":"39565","department":[{"_id":"672"}],"user_id":"5786","language":[{"iso":"eng"}],"publication":"Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)","type":"conference","status":"public","date_updated":"2023-01-24T12:18:05Z","date_created":"2023-01-24T12:18:00Z","author":[{"first_name":"D.","last_name":"Hyhuis","full_name":"Hyhuis, D."},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"title":"Implementing Simultaneous Design: A Case Study","place":"PoDTe, UK","year":"1994","citation":{"apa":"Hyhuis, D., &#38; Müller, W. (1994). Implementing Simultaneous Design: A Case Study. <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>.","short":"D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.","mla":"Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>, 1994.","bibtex":"@inproceedings{Hyhuis_Müller_1994, place={PoDTe, UK}, title={Implementing Simultaneous Design: A Case Study}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)}, author={Hyhuis, D. and Müller, Wolfgang}, year={1994} }","ieee":"D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.","chicago":"Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” In <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. PoDTe, UK, 1994.","ama":"Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. ; 1994."}},{"date_created":"2023-01-24T12:24:39Z","author":[{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"last_name":"Wiechers","full_name":"Wiechers, N.","first_name":"N."}],"date_updated":"2023-01-24T12:24:43Z","title":"Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM","citation":{"chicago":"Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.","ieee":"W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.","ama":"Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.","apa":"Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1994). <i>Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM</i>.","bibtex":"@article{Müller_Lehrenfeld_Wiechers_1994, place={Aachen}, series={TAT’94}, title={Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1994}, collection={TAT’94} }","short":"W. Müller, G. Lehrenfeld, N. Wiechers, (1994).","mla":"Müller, Wolfgang, et al. <i>Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM</i>. 1994."},"place":"Aachen","year":"1994","series_title":"TAT'94","user_id":"5786","department":[{"_id":"672"}],"_id":"39577","language":[{"iso":"eng"}],"type":"conference","status":"public"},{"status":"public","type":"conference","publication":"Proceedings of EURO-DAC'94/EURO-VHDL'94","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39575","citation":{"ama":"Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. ; 1994.","chicago":"Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. Grenoble, France, 1994.","ieee":"E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.","apa":"Börger, E., Glässer, U., &#38; Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>.","bibtex":"@inproceedings{Börger_Glässer_Müller_1994, place={Grenoble, France}, title={The Semantics of Behavioral VHDL’93 Descriptions}, booktitle={Proceedings of EURO-DAC’94/EURO-VHDL’94}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, year={1994} }","mla":"Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>, 1994.","short":"E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994."},"year":"1994","place":"Grenoble, France","title":"The Semantics of Behavioral VHDL'93 Descriptions","author":[{"first_name":"Egon","last_name":"Börger","full_name":"Börger, Egon"},{"full_name":"Glässer, Uwe","last_name":"Glässer","first_name":"Uwe"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2023-01-24T12:23:14Z","date_updated":"2023-01-24T12:23:19Z"},{"type":"conference","status":"public","_id":"39554","department":[{"_id":"672"}],"series_title":"Tagungsband: CAD94","user_id":"5786","language":[{"iso":"eng"}],"year":"1994","citation":{"ama":"Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.","ieee":"G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994.","apa":"Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). <i>Ein paralleles Framework fuer die Validierung von STEP-Produktdaten</i>.","bibtex":"@article{Lehrenfeld_Müller_Wiechers_1994, series={Tagungsband: CAD94}, title={Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994}, collection={Tagungsband: CAD94} }","short":"G. Lehrenfeld, W. Müller, N. Wiechers, (1994).","mla":"Lehrenfeld, Georg, et al. <i>Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten</i>. 1994."},"date_updated":"2023-01-24T12:13:43Z","date_created":"2023-01-24T12:13:38Z","author":[{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"full_name":"Wiechers, N.","last_name":"Wiechers","first_name":"N."}],"title":"Ein paralleles Framework fuer die Validierung von STEP-Produktdaten"},{"year":"1994","place":"Poole, UK","citation":{"ama":"Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. ; 1994.","ieee":"G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. Poole, UK, 1994.","apa":"Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). Parallel Validation of STEP Files. <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>.","bibtex":"@inproceedings{Lehrenfeld_Müller_Wiechers_1994, place={Poole, UK}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994} }","short":"G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94), Poole, UK, 1994.","mla":"Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>, 1994."},"title":"Parallel Validation of STEP Files","date_updated":"2023-01-24T12:19:31Z","author":[{"last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Wiechers, N.","last_name":"Wiechers","first_name":"N."}],"date_created":"2023-01-24T12:19:27Z","status":"public","publication":"Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)","type":"conference","language":[{"iso":"eng"}],"_id":"39566","department":[{"_id":"672"}],"user_id":"5786"}]