Visualization of SystemC Designs von Genz, Christian, Drechsler, Rolf, Angst, Gerhard, Linhard, Lothar

Volltext

Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking von Wille, R., Fey, G., Messing, M., Angst, G., Linhard, L., Drechsler, R.

Volltext bestellen

Über Pseudohalogene, XI.: Über Jod‐oxycyan, Dijod‐dioxycyan und Trijod‐cyanursäure von Birckenbach, Lothar, Linhard, Martin

Volltext

Über Pseudohalogene, V.: Über das Mischhalogen Brom‐oxycyan von Birckenbach, Lothar, Linhard, Martin

Volltext

Pseudohalogene, XIII.: Über die Anlagerung von Jod‐oxycyan an Olefine von Birckenbach, Lothar, Linhard, Martin

Volltext

Über Pseudohalogene, X: Über Dichlor‐dioxycyan, Nω‐Mono‐und Nω‐Dichlor‐allophansäure‐äthylester und Nω‐Chlor‐allophansäure‐chlorid von Birckenbach, Lothar, Linhard, Martin

Volltext

Über Reaktionsprodukte von α,β‐Jod‐isocyanaten. (Zugleich XIV. Mitteil. über Pseudohalogene.) von Birckenbach, Lothar, Linhard, Martin

Volltext