Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Schmidt, Heinz - Centre for Distributed Systems and Software Engineering, Monash University
Towards Analysing a Class of Object Petri Nets Sea Ling and Heinz W. Schmidt
Disorientation and Cognitive Overhead in Hypertext Systems Stephen Ransom, Xindong Wu and Heinz Schmidt
Using a Notion of Safety in Petri Nets To Analyse RealTime Systems
Integrating Concurrency and ObjectOrientation using Boolean, Access and Path Guards
Parallel Program Transformation 1 Sajeev and Schmidt A Framework for SemiAutomated
A Notion of Safeness in Time for Petri Nets Sea Ling and Heinz W. Schmidt
A Complexity Calculus for ObjectOriented Programs \Lambda Heinz W. Schmidt y
Reasoning about Complexity of ObjectOriented Programs Heinz W. Schmidt a and Wolf Zimmermann b\Lambda
Reasoning About Concurrent Objects Heinz W. Schmidt and Jian Chen
Object Discovery from Design Abstraction of Legacy Systems
Reasoning About Concurrent Objects Heinz W. Schmidt and Jian Chen
Informatica 1 Knowledge Objects
Object Test Coverage Using Finite State Machines Oscar Bosman
