СТ |
Applicability of the BLAST Model Checker: An Industrial Case Study |
2010 |
Kolb E., Sery O., Weiss R. |
Lecture Notes in Computer Science |
|
|
Perspectives of Systems Informatics |
13.04.2010 |
СТ |
Storing Properties in Grouped Tagged Tuples |
2003 |
Weiss R., Simonis V. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
СТ |
ProgDOC - A New Program Documentation System |
2003 |
Simonis V., Weiss R. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
СТ |
Exploring Template Template Parameters |
2001 |
Weiss R., Simons V. |
|
|
|
Lecture Notes in Computer Science |
08.02.2002 |
СТ |
Heterogeneous, Nested STL Containers in C++ |
1999 |
Simonis V., Weiss R. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
02.07.1999 |
СТ |
Content Routing for Distributed Information Servers |
1994 |
Sheldon M. A., Duda A., Weiss R., O Toole J. W., Gifford D. K. |
|
|
|
Lecture Notes in Computer Science |
22.04.1994 |