Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Hinchey, M.G.
1993.
The design of real-time applications.
p.
178.
Schneider, Steve
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
59.
Chang, E.
Manna, Z.
and
Pnueli, A.
1994.
Compositional verification of real-time systems.
p.
458.
Choudhary, A.
Gehlot, V.
Narahari, B.
Benincasa, M.
and
Metzger, R.
1995.
A specification language for parallel real-time systems.
p.
165.
Bryans, Jeremy
Davies, Jim
and
Schneider, Steve
1995.
CONCUR '95: Concurrency Theory.
Vol. 962,
Issue. ,
p.
269.
Peters, J.F.
and
Rahardjo, B.
1995.
Higher order logic in reasoning about asynchronous circuits.
Vol. 1,
Issue. ,
p.
74.
Liu, T.-K.
Silvester, J.A.
and
Polydoros, A.
1995.
An analytical model for multi-group slotted ALOHA with capture.
p.
534.
Choudhary, A.
Gehlot, V.
and
Narahari, B.
1996.
Syntax and semantics of PRETSEL-a specification language for parallel real-time systems.
p.
525.
Peleska, Jan
1996.
FME'96: Industrial Benefit and Advances in Formal Methods.
Vol. 1051,
Issue. ,
p.
39.
Heisel, Maritta
and
Siihl, Carsten
1997.
Safe Comp 97.
p.
295.
Choudhary, A.N.
Gehlot, V.
and
Narahari, B.
1997.
Parallel real-time systems: formal specification.
p.
186.
Heisel, Maritta
and
Sühl, Carsten
1997.
Safe Comp 96.
p.
31.
Bowman, Howard
and
Derrick, John
1997.
Transformation-Based Reactive Systems Development.
Vol. 1231,
Issue. ,
p.
383.
Lai, Luming
and
Watson, Phil
1997.
Hybrid and Real-Time Systems.
Vol. 1201,
Issue. ,
p.
69.
Buth, Bettina
Kouvaras, Michel
Peleska, Jan
and
Shi, Hui
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
60.
Olderog, Ernst-Rüdiger
and
Dierks, Henning
1998.
Compositionality: The Significant Difference.
Vol. 1536,
Issue. ,
p.
465.
Abdallah, Ali E.
1998.
Euro-Par’98 Parallel Processing.
Vol. 1470,
Issue. ,
p.
165.
Heisel, M.
1998.
Systems Implementation 2000.
p.
19.
Buth, Bettina
Peleska, Jan
and
Shi, Hui
1998.
Algebraic Methodology and Software Technology.
Vol. 1548,
Issue. ,
p.
124.
Heisel, Maritta
and
Jähnichen, Stefan
1998.
Requirements Targeting Software and Systems Engineering.
Vol. 1526,
Issue. ,
p.
179.
