Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Drechsler, Rolf
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
65
Abstract pages:
166
Full texts:
45
References:
32
https://www.mathnet.ru/eng/person68361
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in
Math-Net.Ru
Citations
2004
1.
R. Drechsler, “Using word-level information in formal hardware verification”,
Avtomat. i Telemekh.
, 2004, no. 6,
140–157
;
Autom. Remote Control
,
65
:6 (2004),
963–977
7
Organisations
University of Bremen, Faculty of Mathematics and Computer Science
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024
Contact us: