Toggle navigation
Home
Search
Services
Blog
Contact
About
Modular Verification of Strong Correctness of Communicating Sequential Processes (Information Science)
Nemes, Richard
Rutgers University, New Brunswick, NJ, United States
Search grants from Richard Nemes
Search grants from Rutgers University New Brunswick
Share this grant:
:
:
Abstract
Funding
Institution
Comments
Recent in Grantomics:
Massachusetts Institute of Technology
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
Fluorescence lifetime-based single fluorophore biosensors of post-translational modification enzyme activity
Prostate MRI and MRS: Correlations with Gene Expression
Role of RNAPII-CTD Modification in DNA Damage Response
Renal Medullary Nitric Oxide and Blood Pressure
American Stop-Smoking Intervention Study (West Virginia)
Recently added grants:
Administrative Core: U19
Using siglecs and their ligands to treat allergic diseases SALTAD
Data Management and Bioinformatics Core
Mechanisms of vaccine protection against AIDS-associated Cryptococcus infection
Experimental evolution of Wolbachia-mediated dengue virus blocking in the mosquito, Aedes aegypti
Abstract
Funding Agency
Agency
National Science Foundation (NSF)
Institute
Division of Information and Intelligent Systems (IIS)
Type
Standard Grant (Standard)
Application #
8509180
Program Officer
Howard Moraff
Project Start
Project End
Budget Start
1985-09-01
Budget End
1988-02-29
Support Year
Fiscal Year
1985
Total Cost
$30,327
Indirect Cost
Institution
Name
Rutgers University
Department
Type
DUNS #
City
New Brunswick
State
NJ
Country
United States
Zip Code
08901
Comments
Be the first to comment on Richard Nemes's grant