BibSonomyburst/author/SchlörBibSonomy RSS feed for /author/Schlör2012-02-16T04:53:40+01:00http://www.bibsonomy.org/bibtex/206a2da772ed812719b47d3afceb0c80c/dblpdblp2011-06-16T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Schlör">Rainer Schlör</a>, <a href="/author/Josko">Bernhard Josko</a>, and <a href="/author/Werth">Dieter Werth</a> </span><em>Services and Visualization: Towards User-Friendly Design, </em><em>volume 1385 of Lecture Notes in Computer Science, </em><em>page 208-221. </em><em>Springer, </em>(<em>1998</em>)Thu Jun 16 00:00:00 CEST 2011Services and Visualization: Towards User-Friendly Designconf/tacas/1998acos208-221Lecture Notes in Computer ScienceUsing a Visual Formalism for Design Verification in Industrial Environments.13851998dblp http://www.bibsonomy.org/bibtex/22b046081d20b806fb43280d7f4c75cf2/dblpdblp2009-09-22T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Helbig">J. Helbig</a>, <a href="/author/Schlör">Rainer Schlör</a>, <a href="/author/Damm">Werner Damm</a>, <a href="/author/Döhmen">Gert Döhmen</a>, and <a href="/author/Kelb">Peter Kelb</a> </span><em>Microprocessing and Microprogramming</em> <em>38(1-5):571-580</em> (<em>1993</em>)Tue Sep 22 00:00:00 CEST 2009Microprocessing and Microprogramming1-5571-580VHDL/S - integrating statecharts, timing diagrams, and VHDL.381993dblp dblphttp://www.bibsonomy.org/bibtex/2ff5da3ea25dcfd21efd68856a59b8926/dblpdblp2009-07-03T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Staschulat">Jan Staschulat</a>, <a href="/author/Braam">Jörn-Christian Braam</a>, <a href="/author/Ernst">Rolf Ernst</a>, <a href="/author/Rambow">Thomas Rambow</a>, <a href="/author/Schlör">Rainer Schlör</a>, and <a href="/author/Busch">Rainer Busch</a> </span><em>ISoLA, </em><em>page 204-211. </em><em>IEEE, </em>(<em>2006</em>)Fri Jul 03 00:00:00 CEST 2009ISoLAconf/isola/2006204-211Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.2006dblp dblphttp://www.bibsonomy.org/bibtex/2424dd31c92e50eafc29e9525d2f44f59/dblpdblp2009-03-02T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Korf">Franz Korf</a>, and <a href="/author/Schlör">Rainer Schlör</a> </span><em>EDAC-ETC-EUROASIC, </em><em>page 385-394. </em><em>IEEE Computer Society, </em>(<em>1994</em>)Mon Mar 02 00:00:00 CET 2009EDAC-ETC-EUROASICconf/eurodac/1994edac385-394Interface Controller Synthesis from Requirement Specifications.1994dblp dblphttp://www.bibsonomy.org/bibtex/2bccff227d626bad24cc91d51b01a8710/dblpdblp2008-04-09T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Schlör">Rainer Schlör</a>, and <a href="/author/Korf">Franz Korf</a> </span><em>EURO-DAC, </em><em>page 548-553. </em><em>IEEE Computer Society, </em>(<em>1995</em>)Wed Apr 09 00:00:00 CEST 2008EURO-DACconf/eurodac/1995548-553Verification of a production cell controller using symbolic timing diagrams.1995dblp dblphttp://www.bibsonomy.org/bibtex/2227fad7a16654214a17455d326bb03b2/dblpdblp2002-02-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Damm">Werner Damm</a>, <a href="/author/Hungar">Hardi Hungar</a>, <a href="/author/Kelb">Peter Kelb</a>, and <a href="/author/Schlör">Rainer Schlör</a> </span><em>Formal Development of Reactive Systems, </em><em>volume 891 of Lecture Notes in Computer Science, </em><em>page 131-149. </em><em>Springer, </em>(<em>1995</em>)Tue Feb 05 00:00:00 CET 2002Formal Development of Reactive Systemsconf/korso/1995fd131-149Lecture Notes in Computer ScienceStatecharts.8911995dblp dblphttp://www.bibsonomy.org/bibtex/26261c333868c37a503d91d54b74b1031/dblpdblp2002-02-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Korf">Franz Korf</a>, and <a href="/author/Schlör">Rainer Schlör</a> </span><em>Formal Development of Reactive Systems, </em><em>volume 891 of Lecture Notes in Computer Science, </em><em>page 311-331. </em><em>Springer, </em>(<em>1995</em>)Tue Feb 05 00:00:00 CET 2002Formal Development of Reactive Systemsconf/korso/1995fd311-331Lecture Notes in Computer ScienceSymbolic Timing Diagrams.8911995dblp dblp